Jozef Hooman, Arjan J. Mooij, Hans van Wezep. Early Fault Detection in Industry Using Models at Various Abstraction Levels. In John Derrick, Stefania Gnesi, Diego Latella, Helen Treharne, editors, Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings. Volume 7321 of Lecture Notes in Computer Science, pages 268-282, Springer, 2012. [doi]
@inproceedings{HoomanMW12,
title = {Early Fault Detection in Industry Using Models at Various Abstraction Levels},
author = {Jozef Hooman and Arjan J. Mooij and Hans van Wezep},
year = {2012},
doi = {10.1007/978-3-642-30729-4_19},
url = {http://dx.doi.org/10.1007/978-3-642-30729-4_19},
researchr = {https://researchr.org/publication/HoomanMW12},
cites = {0},
citedby = {0},
pages = {268-282},
booktitle = {Integrated Formal Methods - 9th International Conference, IFM 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
editor = {John Derrick and Stefania Gnesi and Diego Latella and Helen Treharne},
volume = {7321},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-642-30728-7},
}