Tasuku Ishigooka, Habib Saissi, Thorsten Piper, Stefan Winter, Neeraj Suri. Practical Formal Verification for Model Based Development of Cyber-Physical Systems. In 2016 IEEE Intl Conference on Computational Science and Engineering, CSE 2016, and IEEE Intl Conference on Embedded and Ubiquitous Computing, EUC 2016, and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering, DCABES 2016, Paris, France, August 24-26, 2016. pages 1-8, IEEE Computer Society, 2016. [doi]
@inproceedings{IshigookaSPWS16,
title = {Practical Formal Verification for Model Based Development of Cyber-Physical Systems},
author = {Tasuku Ishigooka and Habib Saissi and Thorsten Piper and Stefan Winter and Neeraj Suri},
year = {2016},
doi = {10.1109/CSE-EUC-DCABES.2016.154},
url = {https://doi.org/10.1109/CSE-EUC-DCABES.2016.154},
researchr = {https://researchr.org/publication/IshigookaSPWS16},
cites = {0},
citedby = {0},
pages = {1-8},
booktitle = {2016 IEEE Intl Conference on Computational Science and Engineering, CSE 2016, and IEEE Intl Conference on Embedded and Ubiquitous Computing, EUC 2016, and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering, DCABES 2016, Paris, France, August 24-26, 2016},
publisher = {IEEE Computer Society},
isbn = {978-1-5090-3593-9},
}