![](/img/cover-not-exists.png)
Formal analysis of pilot error with agent safety logic
Ahrenbach, Seth, Goodloe, AlwynLanguage:
english
Journal:
Innovations in Systems and Software Engineering
DOI:
10.1007/s11334-017-0309-y
Date:
January, 2018
File:
PDF, 561 KB
english, 2018