TIMES b— A Tool for Modelling and Implementation of Embedded Systems
- 14 March 2002
- book chapter
- Published by Springer Nature
- p. 460-464
- https://doi.org/10.1007/3-540-46002-0_32
Abstract
No abstract availableKeywords
This publication has 2 references indexed in Scilit:
- Timed Automata with Asynchronous Processes: Schedulability and DecidabilityPublished by Springer Nature ,2002
- Uppaal in a nutshellInternational Journal on Software Tools for Technology Transfer, 1997