ArticlesAnalyzing Cockpit Interfaces Using Formal Methods
Under a Creative Commons license
open access
Cited by (0)
- 1
This research was partially supported by NASA Langley Research Center through contracts NAS1-20334 and NAS1-00079.
Copyright © 2001 Published by Elsevier B.V.