Specification, Refinement and Verification of Concurrent Systems—An Integration of Object-Z and CSP
Formal Methods in System Design
Applying RT-Z to Develop Safety-Critical Systems
FASE '00 Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
An Integrated Approach to Specification and Validation of Real-Time Systems
FME '01 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods for Increasing Software Productivity
FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume II
An Integration of Real-Time Object-Z and CSP for Specifying Concurrent Real-Time Systems
IFM '02 Proceedings of the Third International Conference on Integrated Formal Methods
Requirements of an integrated formal method for intelligent swarms
Proceedings of the 10th international workshop on Formal methods for industrial critical systems
Extending a Component Specification Language with Time
Electronic Notes in Theoretical Computer Science (ENTCS)
Specification and validation of the SACI-1 on-board computer using timed-CSP-Z and Petri nets
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
ZB'03 Proceedings of the 3rd international conference on Formal specification and development in Z and B
From ODP viewpoint consistency to Integrated Formal Methods
Computer Standards & Interfaces
Hi-index | 0.00 |