Model-Based Safety Assessment Using OCL and Petri Nets

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]

Abstract

Abstract is missing.