Hierarchical design of a chemical concentration control system
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 270-281
- https://doi.org/10.1007/bfb0020952
Abstract
No abstract availableKeywords
This publication has 4 references indexed in Scilit:
- Hierarchical design of a chemical concentration control systemPublished by Springer Nature ,1996
- An extended duration calculus for hybrid real-time systemsPublished by Springer Nature ,1993
- A calculus of durationsInformation Processing Letters, 1991
- A Temporal Logic for Multilevel Reasoning about HardwareComputer, 1985