A Timed Verification of the IEEE 1394 Leader Election Protocol
Formal Methods in System Design
Design and Verification of Distributed Recovery Blocks with CSP
Formal Methods in System Design
Digitisation and Full Abstraction for Dense-Time Model Checking
TACAS '02 Proceedings of the 8th International Conference on Tools and Algorithms for the Construction and Analysis of Systems
Relational concurrent refinement: timed refinement
FMOODS'11/FORTE'11 Proceedings of the joint 13th IFIP WG 6.1 and 30th IFIP WG 6.1 international conference on Formal techniques for distributed systems
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Modelling temporal behaviour in complex systems with Timebands
Formal Methods in System Design
Hi-index | 0.01 |