| |
| 2007 | ||
|---|---|---|
| 2 | EE | 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): 129-178 (2007) |
| 2005 | ||
| 1 | EE | 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: 14-23 |
| 1 | Aysu Betin-Can | [1] [2] |
| 2 | Tevfik Bultan | [1] [2] |
| 3 | Mikael Lindvall | [1] [2] |
| 4 | Benjamin Lux | [1] [2] |