TAXYS=Esterel+Kronos. A tool for verifying real-time properties of embedded systems
- 10 July 2003
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
- Vol. 3, 2875-2880
- https://doi.org/10.1109/cdc.2001.980712
Abstract
No abstract availableThis publication has 0 references indexed in Scilit: