A network specification language and execution environment for undergraduate teaching
SIGCSE '91 Proceedings of the twenty-second SIGCSE technical symposium on Computer science education
Protocol visualization in Estelle
Computer Networks and ISDN Systems - Special issue on tools for FDTs
Making the most of formal specification through animation, testing and proof
Science of Computer Programming - Special issue on COST 247, verification and validation methods for formal descriptions
Concurrency: state models & Java programs
Concurrency: state models & Java programs
An interactive visual protocol simulator
Computer Standards & Interfaces
Creating an Accurate Portrayal of Concurrent Executions
IEEE Concurrency
Interactive Protocol Simulation Applets for Distance Education
IDMS '98 Proceedings of the 5th International Workshop on Interactive Distributed Multimedia Systems and Telecommunication Services
Four issues concerning the semantics of Message Flow Graphs
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
Visual animation of LOTOS using SOLVE
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
A LOTOS Compiler Generating Multi-threaded Object Codes
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Protocol visualization using LOTOS multi-rendezvous mechanism
ICNP '95 Proceedings of the 1995 International Conference on Network Protocols
Hi-index | 0.00 |