COMX: a design methodology using communicating X-machines
References (15)
- et al.
Communicating X-machines
Journal of Information and Software Technology
(1996) Analysis of Petri Nets by stepwise refinements
Journal of Computer and System Sciences
(1979)Statecharts: a visual formalism for complex systems
Science of Computer Programming
(1987)- et al.
Introduction to SDL-92
Computer Networks and ISDN Systems
(1994) - et al.
A reachability tree for statecharts and analysis of some properties
Information and Software Technology
(1994) COMX: A methodology for the formal design of computer systems using communicating X-machines
There are more references available in the full text version of this article.
Cited by (0)
- ∗
Tel.: 01908 652349; fax: 01908 652140.
Copyright © 1998 Published by Elsevier B.V.