@inproceedings{D-B+6,
title = {Validation of Industrial Cyber-Physical Systems: An Application to {HVAC} Systems },
author = {Dang, Thao and -, Alie El and Boubekeur, Menouer and Kumar, Rajesh and Moulin, Mark},
year = {2016},
booktitle = {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},
publisher = {Springer},
team = {axe_Mohytos, TEMPO},
}