Using Multiple Levels of Abstractions in Embedded Software Design
- 27 September 2001
- book chapter
- Published by Springer Nature
- p. 324-343
- https://doi.org/10.1007/3-540-45449-7_23
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Cut-off in engine control: a hybrid system approachPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Overcoming heterophobia: modeling concurrency in heterogeneous systemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Masaccio: A Formal Model for Embedded ComponentsPublished by Springer Nature ,2000
- A framework for comparing models of computationIEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
- Design of embedded systems: formal models, validation, and synthesisProceedings of the IEEE, 1997
- Trace Algebra for Automatic Verification of Real-Time Concurrent SystemsPublished by Defense Technical Information Center (DTIC) ,1992
- Modeling concurrency with partial ordersInternational Journal of Parallel Programming, 1986