Communicating sequential processes
Communicating sequential processes
Temporal logic for real time systems
Temporal logic for real time systems
TRIO: A logic language for executable specifications of real-time systems
Journal of Systems and Software - On the role of language in programming
The Z notation: a reference manual
The Z notation: a reference manual
Specification and proof in real-time CSP
Specification and proof in real-time CSP
Object-oriented logical specification of time-critical systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
A time-sensitive object model for real-time systems
ACM Transactions on Software Engineering and Methodology (TOSEM)
Formal Development of Reactive Systems: Case Study Production Cell
Formal Development of Reactive Systems: Case Study Production Cell
Real-Time Specification Inheritance Anomalies and Real-Time Filters
ECOOP '94 Proceedings of the 8th European Conference on Object-Oriented Programming
Adding Real Time to Formal Program Development
FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
Structuring Real-Time Object-Z Specifications
IFM '00 Proceedings of the Second International Conference on Integrated Formal Methods
Hi-index | 0.00 |