Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. | | |
|---|
| 2007 | Eliminating 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. | Journal Article, Conference Paper |
| 2006 | Arbeitnehmerorientiertes Bildungscoaching
: Deffner, S.; Buck, H.; Lux, B.; Buck, S.-L.; Hermann, S. | Research Report |
| 2006 | Bildungscoaching für das lebenslange Lernen
Deffner, S.; Buck, H.; Lux, B. | Journal Article |
| 2005 | Application of design for verification with concurrency controllers to air traffic control software
Betin-Can, A.; Bultan, T.; Lindvall, M.; Lux, B.; Topp, S. | Conference Paper |