Items where Author is "Ishigooka, T."

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2017) Safety verification utilizing model-based development for safety critical cyber-physical systems. Journal of Information Processing Systems, 25. pp. 797-810. ISSN 0387-5806

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2016) Practical Formal Verification for Model Based Development of Cyber-Physical Systems. In: 2016 IEEE Intl Conference on Computational Science and Engineering (CSE) and IEEE Intl Conference on Embedded and Ubiquitous Computing (EUC) and 15th Intl Symposium on Distributed Computing and Applications for Business Engineering (DCABES) :. IEEE, pp. 1-8.

Ishigooka, T. and Saissi, H. and Piper, T. and Winter, S. and Suri, Neeraj (2014) Practical use of formal verification for safety critical cyber-physical systems : A case study. In: 2014 IEEE International Conference on Cyber-Physical Systems, Networks, and Applications :. IEEE, pp. 7-12. ISBN 9781479953875