Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.
2007Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers
Can, A.B.; Bultan, T.; Lindvall, M.; Lux, B.; Topp, S.
Zeitschriftenaufsatz, Konferenzbeitrag
2005Application of design for verification with concurrency controllers to air traffic control software
Betin-Can, A.; Bultan, T.; Lindvall, M.; Lux, B.; Topp, S.
Konferenzbeitrag