Sciweavers

Share
KBSE
2005
IEEE

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

10 years 9 months ago
Application of design for verification with concurrency controllers to air traffic control software
Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Be
Added 25 Jun 2010
Updated 25 Jun 2010
Type Conference
Year 2005
Where KBSE
Authors Aysu Betin-Can, Tevfik Bultan, Mikael Lindvall, Benjamin Lux, Stefan Topp
Comments (0)
books