Thao Dang, Alie El-Din Mady, Menouer Boubekeur, Rajesh Kumar, Mark Moulin. Validation of Industrial Cyber-Physical Systems: An Application to HVAC Systems. In Gauthier Fanmuy, Eric Goubault, Daniel Krob, François Stephan, editors, Complex Systems Design & Management, Proceedings of the Seventh International Conference on Complex Systems Design & Management, CSD&M 2016, Paris, France, December 13-14, 2016. pages 57-69, Springer, 2016. [doi]
Abstract is missing.