Home » Presentations » Refereed » Action languages and precise modeling for cyber-physical systems design and testing

 
 

Action languages and precise modeling for cyber-physical systems design and testing

 

Badreddin, O., Elaasar, M., Abdelzad, V. “Action languages and precise modeling for cyber-physical systems design and testing.” Proceedings of the 26th Annual International Conference on Computer Science and Software Engineering. IBM Corp., 2016.

Unofficial Print