Lisa Kiekbusch, Christopher Armbrust, Karsten Berns. Formal Verification of Behaviour Networks Including Hardware Failures. In Emanuele Menegatti, Nathan Michael, Karsten Berns, Hiroaki Yamaguchi, editors, Intelligent Autonomous Systems 13 - Proceedings of the 13th International Conference IAS-13, Padova, Italy, July 15-18, 2014. Volume 302 of Advances in Intelligent Systems and Computing, pages 1571-1582, Springer, 2014. [doi]
Abstract is missing.