Title of article
Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers
Author/Authors
Aysu Betin-Can، نويسنده , , Tevfik Bultan، نويسنده , , Mikael Lindvall، نويسنده , , Benjamin Lux and Stefan Topp ، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2007
Pages
50
From page
129
To page
178
Keywords
Model checking · Concurrent programming · Synchronization · Designpatterns · Interfaces
Journal title
Automated Software Engineering
Serial Year
2007
Journal title
Automated Software Engineering
Record number
307175
Link To Document