Marius C. Bujorianu, Howard Barringer. An Integrated Specification Logic for Cyber-Physical Systems. In 14th IEEE International Conference on Engineering of Complex Computer Systems, ICECCS 2009, Potsdam, Germany, 2-4 June 2009. pages 291-300, IEEE Computer Society, 2009. [doi]
No reviews for this publication, yet.