![](/img/cover-not-exists.png)
Formal Verification of a Space System's User Interface With the IVY Workbench
Campos, Jose Creissac, Sousa, Manuel, Alves, Miriam C. Bergue, Harrison, Michael D.Volume:
46
Language:
english
Journal:
IEEE Transactions on Human-Machine Systems
DOI:
10.1109/THMS.2015.2421511
Date:
April, 2016
File:
PDF, 797 KB
english, 2016