Publica
Hier finden Sie wissenschaftliche Publikationen aus den Fraunhofer-Instituten. Application of design for verification with concurrency controllers to air traffic control software
| 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
pp.14-23 |
| International Conference on Automated Software Engineering (ASE) <20, 2005, Long Beach/Calif.> |
|
| English |
| Conference Paper |
| Fraunhofer IESE () |