Design and verification in real-time distributed computing: an introduction to compositional methods

Authors:
Willem P. de Roever;Jozef Hooman
Affiliations:
-;-
Venue:
Proceedings of the IFIP WG6.1 Ninth International Symposium on Protocol Specification, Testing and Verification IX
Year:
1989

A Development Environment for Complex Distributed Real-Time Applications

IEEE Transactions on Software Engineering
Bialgebraic Modelling of Timed Processes

ICALP '02 Proceedings of the 29th International Colloquium on Automata, Languages and Programming
Automated modular specification and verification of real-time reactive systems

WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Modeling And Verification Of Real-Time Systems

Journal of Integrated Design & Process Science

Hi-index	0.00