A distributed implementation of a mode switching control program
- 1 January 1995
- proceedings article
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Real-time refinementPublished by Springer Nature ,2005
- From physical modelling to compositional models of hybrid systemsPublished by Springer Nature ,1994
- Provably Correct SystemsPublished by Springer Nature ,1994
- Developing Correct SystemsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1993
- A design method for embedded software systemsBIT Numerical Mathematics, 1988