ANALYTIC VERIFICATION OF FLIGHT SOFTWARE

Authors
LOWRY M DVORAK D
Citation
M. Lowry et D. Dvorak, ANALYTIC VERIFICATION OF FLIGHT SOFTWARE, Ieee intelligent systems & their applications, 13(5), 1998, pp. 45-49
Citations number
9
Categorie Soggetti
Computer Science Artificial Intelligence","Engineering, Eletrical & Electronic","Computer Science Artificial Intelligence
Journal title
Ieee intelligent systems & their applications → ACNP
ISSN journal
10947167
Volume
13
Issue
5
Year of publication
1998
Pages
45 - 49
Database
ISI
SICI code
1094-7167(1998)13:5<45:AVOFS>2.0.ZU;2-4