IEEE - Institute of Electrical and Electronics Engineers, Inc. - Model checking hierarchical communicating real-time state machines

10th IEEE International Conference on Emerging Technologies and Factory Automation

Author(s): A. Furfaro ; L. Nigro
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 January 2005
Conference Location: Catania, Italy
Conference Date: 19 September 2005
Volume: 1
ISBN (Paper): 0-7803-9401-1
DOI: 10.1109/ETFA.2005.1612546
Regular:

Hierarchical communicating real-time state machines (H-CRSM) is a formal modelling language for the modular development of distributed real-time systems. The formalism is characterized by the use... View More

Advertisement