José Creissac Campos, Manuel Sousa, Miriam C. Bergue Alves, Michael D. Harrison. Formal Verification of a Space System's User Interface With the IVY Workbench. IEEE T. Human-Machine Systems, 46(2):303-316, 2016. [doi]
@article{CamposSAH16,
title = {Formal Verification of a Space System's User Interface With the IVY Workbench},
author = {José Creissac Campos and Manuel Sousa and Miriam C. Bergue Alves and Michael D. Harrison},
year = {2016},
doi = {10.1109/THMS.2015.2421511},
url = {http://dx.doi.org/10.1109/THMS.2015.2421511},
researchr = {https://researchr.org/publication/CamposSAH16},
cites = {0},
citedby = {0},
journal = {IEEE T. Human-Machine Systems},
volume = {46},
number = {2},
pages = {303-316},
}