Title :
Specification of Software Controlling a Discrete-Continuous Environment
Author :
Friesen, V. ; Jahnichen, S. ; Weber, Matthias
Author_Institution :
Technische Universitat Berlin
Keywords :
Embedded systems, discrete-continuous systems, object-oriented specification; Analytical models; Automatic control; Boilers; Continuous time systems; Differential equations; Embedded software; Embedded system; Object oriented modeling;
Conference_Titel :
Software Engineering, 1997., Proceedings of the 1997 International Conference on
Conference_Location :
Boston, MA, USA
Print_ISBN :
0-89791-914-9
DOI :
10.1109/ICSE.1997.610281