Reachability analysis -based validation of embedded systems
- 31 August 1987
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 21 (1-5) , 393-403
- https://doi.org/10.1016/0165-6074(87)90068-8
Abstract
No abstract availableKeywords
This publication has 1 reference indexed in Scilit:
- Petri NetsACM Computing Surveys, 1977