Modeling and verification of hybrid systems with clocked and unclocked events
- 10 July 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 1, 762-767
- https://doi.org/10.1109/cdc.2001.980198
Abstract
No abstract availableKeywords
This publication has 0 references indexed in Scilit: