A Component Model for Field Devices
- 21 June 2002
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC in Lecture Notes in Computer Science
- p. 200-209
- https://doi.org/10.1007/3-540-45440-3_14
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- The Koala component model for consumer electronics softwareComputer, 2000
- Timed Petri NetsPublished by Springer Science and Business Media LLC ,1998
- Modeling and verification of time dependent systems using time Petri netsIEEE Transactions on Software Engineering, 1991