Formal methods for broadband and multimedia systems (tutorial)

Specifying real-time properties with metric temporal logic

Real-Time Systems

Temporal logic and applications: a tutorial

Computer Networks and ISDN Systems - Special issue on protocol specification, testing and verification

On parallelizing and optimizing the implementation of communication protocols

IEEE/ACM Transactions on Networking (TON)

Implementation of multimedia systems based on a real-time extension of Estelle

IFIP TC6/ 6.1 international conference on formal description techniques IX/protocol specification, testing and verification XVI on Formal description techniques IX : theory, application and tools: theory, application and tools

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV

Simulating Estelle Specifications with Time Parameters

Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification VII

A Multi-Processor Estelle-to-C Compiler to Prototype Algorithms on Parallel Machines

Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX

Specifying real-time requirements for SDL specifications - a temporal logic-based approach

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV

PARES - a portable parallel Estelle compiler

Proceedings of the Fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification XV

A LOTOS Compiler Generating Multi-threaded Object Codes

Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII

Efficient configuration of protocol software for multiprocessors

Proceedings of the IFIP Sixth International Conference on High Performance Networking VI

Logics and Models of Real Time: A Survey

Proceedings of the Real-Time: Theory in Practice, REX Workshop

Timed Transition Systems

Proceedings of the Real-Time: Theory in Practice, REX Workshop

Time Versus Abstraction in Formal Description

FORTE '93 Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, VI

Real-Time Estelle

Real-Time Estelle