Embedded Systems: New Approaches to Their Formal Description and Design. An Advanced Course, Zurich, Switzerland, March 5-7, 1986 (Lecture Notes in Computer Science, 284, Band 284)
Ein praxisorientiertes Werk aus dem Zürcher Workshop von 1986, das moderne formale Techniken zur Analyse und Konstruktion eingebetteter Systeme vorst ...