Search Results - "Morzenti, A.C."
-
1
Real-time system validation by model checking in TRIO
Published in Proceedings. EUROMICRO `91 Workshop on Real-Time Systems (1991)“…The authors discuss the importance of formal, executable specifications in supporting validation and early prototyping of real-time systems. TRIO is a…”
Get full text
Conference Proceeding
-
2
Dealing with different time scales in formal specifications
Published in Proceedings of the Sixth International Workshop on Software Specification and Design (1991)“…The authors motivate the need for allowing the consistent treatment of different time scales in formal specifications of time critical systems, with the…”
Get full text
Conference Proceeding