Stefan Topp

Publication Activity (10 Years)

Years Active: 2005-2007
Publications (10 Years): 0

Publications

Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers. Autom. Softw. Eng. 14 (2) (2007)
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
Application of design for verification with concurrency controllers to air traffic control software. ASE (2005)