Safety analysis of timing properties in real-time systems
IEEE Transactions on Software Engineering - Special issue on reliability and safety in real-time process control
Semantics of Modechart in real time logic
Proceedings of the Twenty-First Annual Hawaii International Conference on Software Track
The Z notation: a reference manual
The Z notation: a reference manual
Practical methods for the formal validation of SDL specifications
Computer Communications - Special issue on practical use of FDTs in communications & distributed systems
The ESTEREL synchronous programming language: design, semantics, implementation
Science of Computer Programming
Experience with Formal Methods in Critical Systems
IEEE Software
Lessons from using basic LOTOS
ICSE '94 Proceedings of the 16th international conference on Software engineering
Formal Methods at AT&T - An Industrial Usage Report
FORTE '91 Proceedings of the IFIP TC6/WG6.1 Fourth International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, IV
Using Z as a Specification Calculus for Object-Oriented Systems
VDM '90 Proceedings of the Third International Symposium of VDM Europe on VDM and Z - Formal Methods in Software Development
A formal approach to reactive systems software: a telecommunications application in ESTEREL
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Toward formalizing structured analysis
ACM Transactions on Software Engineering and Methodology (TOSEM)
Evaluation of modeling techniques for agent-based systems
Proceedings of the fifth international conference on Autonomous agents
A formal approach to reactive systems software: a telecommunications application in ESTEREL
WIFT '95 Proceedings of the 1st Workshop on Industrial-Strength Formal Specification Techniques
Protocol quality engineering: addressing industry concerns about formal methods
Computer Communications
| Hi-index | 0.00 |