Stefan Topp

According to our database¹, Stefan Topp authored at least 2 papers between 2005 and 2007.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2007

Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers.

[BibT_eX]

[DOI]

Autom. Softw. Eng., 2007

2005

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

[BibT_eX]

[DOI]

Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), 2005