IEEE - Institute of Electrical and Electronics Engineers, Inc. - Specification of hybrid systems in cTLA+

Proceedings of 5th International Workshop on Parallel and Distributed Real-Time Systems and 3rd Workshop on Object-Oriented Real-Time Systems

Author(s): Herrmann, P. ; Krumm, H.
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 1997
Conference Location: Geneva, Switzerland, Switzerland
Conference Date: 3 April 1997
Page(s): 212 - 216
ISBN (Paper): 0-8186-8096-2
DOI: 10.1109/WPDRTS.1997.637981
Regular:

cTLA+ is a compositional specification and verification technique which is based on Leslie Lamport's (1994) Temporal Logic of Actions TLA. cTLA+ supports modular process type definitions and the... View More

Advertisement