Media type: E-Book Title: Erfahrungen bei der Modellierung eingebetteter Systeme mit verschiedenen SA/RT-Ansätzen Contributor: Biechele, Bernd [Other]; Ernst, Dietmar [Other]; Houdek, Frank [Other]; Schmid, Joachim [Other]; Schulte, Wolfram [Other] imprint: Ulm: Universität Ulm, Fakultät für Ingenieurwissenschaften und Informatik, 2010 Published in: Ulmer Informatik-Berichte ; 96,09 Extent: Online-Ressource Language: German Identifier: RVK notation: SS 5525 : Ulmer Informatik-Berichte Keywords: Embedded computer systems ; Eingebettetes System ; Theoretische Informatik Origination: Footnote: Access State: Open Access