Vinicius M. Sobral, João Paulo A. Almeida, Patricia Dockhorn Costa. Assessing situation models with a lightweight formal method. In IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, CogSIMA 2015, Orlando, FL, USA, March 9-12, 2015. pages 42-48, IEEE, 2015. [doi]
@inproceedings{SobralAC15,
title = {Assessing situation models with a lightweight formal method},
author = {Vinicius M. Sobral and João Paulo A. Almeida and Patricia Dockhorn Costa},
year = {2015},
doi = {10.1109/COGSIMA.2015.7108173},
url = {https://doi.org/10.1109/COGSIMA.2015.7108173},
researchr = {https://researchr.org/publication/SobralAC15},
cites = {0},
citedby = {0},
pages = {42-48},
booktitle = {IEEE International Inter-Disciplinary Conference on Cognitive Methods in Situation Awareness and Decision Support, CogSIMA 2015, Orlando, FL, USA, March 9-12, 2015},
publisher = {IEEE},
}