Omar Badreddin, Maged Elaasar, Vahdat Abdelzad. Action languages and precise modeling for cyber-physical systems design and testing. In Marcellus Mindel, Blake Jones, Hausi A. Müller, Vio Onut, editors, Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering, CASCON 2016, Toronto, Ontario, Canada, October 31 - November 2, 2016. pages 307-311, IBM / ACM, 2016. [doi]
Abstract is missing.