Ricardo J. Rodriguez, Elena Gómez-Martínez. Model-Based Safety Assessment Using OCL and Petri Nets. In 2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, Verona, Italy, August 27-29, 2014. pages 56-59, IEEE, 2014. [doi]
@inproceedings{RodriguezG14-3,
title = {Model-Based Safety Assessment Using OCL and Petri Nets},
author = {Ricardo J. Rodriguez and Elena Gómez-Martínez},
year = {2014},
doi = {10.1109/SEAA.2014.36},
url = {http://dx.doi.org/10.1109/SEAA.2014.36},
researchr = {https://researchr.org/publication/RodriguezG14-3},
cites = {0},
citedby = {0},
pages = {56-59},
booktitle = {2014 40th EUROMICRO Conference on Software Engineering and Advanced Applications, Verona, Italy, August 27-29, 2014},
publisher = {IEEE},
}