3.3.4 Practical Experience Applying Formal Methods to Air Traffic Management Software
Yates, Richard, Andrews, Jamie, Gray, PhilVolume:
8
Language:
english
Journal:
INCOSE International Symposium
DOI:
10.1002/j.2334-5837.1998.tb00055.x
Date:
July, 1998
File:
PDF, 489 KB
english, 1998