Formal verification of the NASA runway safety monitor
Radu I. Siminiceanu, Gianfranco CiardoVolume:
9
Language:
english
Pages:
14
DOI:
10.1007/s10009-006-0004-z
Date:
February, 2007
File:
PDF, 547 KB
english, 2007