ATOM: an object-based formal method for real-time systems (original) (raw)
Related papers
A refinement calculus for the development of real-time systems
1998
A formal method for specification and refinement of real-time systems
Carlos Delgado Kloos, Peter Breuer
Proc. 8'th EuroMicro Workshop on Real Time Systems, 1996
A specification-oriented semantics for the refinement of real-time systems
1994
A Wide-Spectrum Language for Object-Based Development of Real-Time Systems* 1
Information Sciences, 1999
Associated paper: The Specification of Real-Time Systems: a Logical, Object-Oriented Approach
A predicative semantics for the refinement of real-time systems
1994
Formal Modelling Languages to Specify Real-Time Systems: A Survey
International Journal of Future Computer and Communication, 2013
Just in Time: a new formal method for specification and refinement of real time processes
An incremental formal approach to real-time systems
2000
Integrating structured oo approaches with formal techniques for the development of real-time systems
1999
A practical approach to formal design of real-time systems
1996
A wide-spectrum language for object-based development of real-time systems
1999
Languages and methods for specifying real-time systems
2002
Formal specification languages for real-time systems
2010 International Symposium on Information Technology, 2010
Enhancing the adoption of formal methods to design real-time systems
Specification of Realtime Systems
1997
Specification of Real-Time Systems in UML
J. Van Katwijk, Ella Roubtsova
Electronic Notes in Theoretical Computer Science, 2000
Fomal Specification Languages for Real-Time Systems
Refinement and Verification of Real-Time Systems
2010
Real-Time systems: Abstractions, languages, and design methodologies
Control Engineering Practice, 1995
A position on design, methods, and tools for object-oriented real-time computing
Proceedings Third IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2000) (Cat. No. PR00607), 2000
Just in time - a specification calculus for real time systems
Carlos Delgado Kloos, Jonathan Bowen, Peter Breuer
Proc. Software Engineering Research Forum, 1995
The TASM Toolset: Specification, Simulation, and Formal Verification of Real-Time Systems
Lecture Notes in Computer Science, 2007
Activation-oriented specification of real-time systems
Vered Gafni, Yishai Feldman, Amiram Yehudai
Lecture Notes in Computer Science, 1994