Formal Development of Reactive Systems 1995
Claus Lewerentz, Thomas Lindner (Eds.): Formal Development of Reactive Systems - Case Study Production Cell. Springer 1995 Lecture Notes in Computer Science ISBN 3-540-58867-1- Thomas Lindner: Task Description. 7-19
- Reinhard Budde: ESTEREL. 75-100
- Leszek Holenderski: LUSTRE. 101-112
- Rachel Cardell-Oliver: HTTDs and HOL. 261-276
- Jochen Burghardt: Deductive Synthesis. 295-309
- Roel Wieringa: LCM and MCM. 333-355
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team