Hybrid systems modelling and validating using Statecharts and Grafcet
- 31 December 1994
- journal article
- Published by Elsevier in Annual Review in Automatic Programming
- Vol. 18, 73-79
- https://doi.org/10.1016/0066-4138(94)90014-0
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987