Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Zur Konstruktion verlässlicher eingebetteter Software durch Synchrone Programmierung

On the construction of dependable embedded software by synchronous programming
 
: Budde, R.; Poigné, A.; Sylla, K.-H.

:

Automatisierungstechnik : AT 51 (2003), Nr.8, S.368-376
ISSN: 0178-2312
ISSN: 0340-434X
Deutsch
Zeitschriftenaufsatz
Fraunhofer AIS ( IAIS) ()
embedded system; hard real-time system; object-oriented real-time programming; synchronous programming; dependability; model checking

: http://publica.fraunhofer.de/dokumente/2004965223.html