Francisco Mendoza, Joris Pascal, Philipp Nenninger, Jürgen Becker. Framework for dynamic verification of multi-domain virtual platforms in industrial automation. In IEEE 10th International Conference on Industrial Informatics, INDIN 2012, Beijing, China, July 25-27, 2012. pages 935-940, IEEE, 2012. [doi]
@inproceedings{MendozaPNB12,
title = {Framework for dynamic verification of multi-domain virtual platforms in industrial automation},
author = {Francisco Mendoza and Joris Pascal and Philipp Nenninger and Jürgen Becker},
year = {2012},
doi = {10.1109/INDIN.2012.6301059},
url = {http://dx.doi.org/10.1109/INDIN.2012.6301059},
researchr = {https://researchr.org/publication/MendozaPNB12},
cites = {0},
citedby = {0},
pages = {935-940},
booktitle = {IEEE 10th International Conference on Industrial Informatics, INDIN 2012, Beijing, China, July 25-27, 2012},
publisher = {IEEE},
isbn = {978-1-4673-0312-5},
}