Statecharts: A visual formalism for complex systems
Science of Computer Programming
The Z notation: a reference manual
The Z notation: a reference manual
Real-time object-oriented modeling
Real-time object-oriented modeling
Object-oriented analysis and design with applications (2nd ed.)
Object-oriented analysis and design with applications (2nd ed.)
Executable object modeling with statecharts
Proceedings of the 18th international conference on Software engineering
Timed and Hybrid Statecharts and Their Textual Representation
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Comparison of Statecharts Variants
ProCoS Proceedings of the Third International Symposium Organized Jointly with the Working Group Provably Correct Systems on Formal Techniques in Real-Time and Fault-Tolerant Systems
A Steam-Boiler Control Specification with Statecharts and Z
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Combining Statecharts and Z for the Design of Safety-Critical Control Systems
FME '96 Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods
Proceedings of the Real-Time: Theory in Practice, REX Workshop
Proceedings of the Z User Workshop
Static analysis of real-time component-based systems configurations
Science of Computer Programming - Special issue on coordination languages and architectures
Static Analysis of Real-Time Component-Based Systems Configurations
COORDINATION '99 Proceedings of the Third International Conference on Coordination Languages and Models
Journal of Visual Languages and Computing
| Hi-index | 0.00 |