مرکز منطقه ای اطلاع رساني علوم و فناوري - Eliminating synchronization faults in air traffic control software via design for verification with concurrency controllers

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 :

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 :