Fraunhofer-Gesellschaft

Publica

Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten.

Application of design for verification with concurrency controllers to air traffic control software

 
: Betin-Can, A.; Bultan, T.; Lindvall, M.; Lux, B.; Topp, S.

:

IEEE Computer Society; Association for Computing Machinery -ACM-, Special Interest Group on Software Engineering -SIGSOFT-; Association for Computing Machinery -ACM-, Special Interest Group on Artificial Intelligence -SIGART-:
The 20th IEEE/ACM International Conference on Automated Software Engineering : Long Beach, California, USA, November 7 - 11, 2005
New York, NY: ACM Press, 2005
ISBN: 1-59593-993-4
S.14-23
International Conference on Automated Software Engineering (ASE) <20, 2005, Long Beach/Calif.>
Englisch
Konferenzbeitrag
Fraunhofer IESE ()

: http://publica.fraunhofer.de/dokumente/N-53465.html