Model-based Safety Assessment using OCL and Petri Nets

  1. Rodriguez, Ricardo J.
  2. Gomez-Martinez, Elena
Colección de libros:
2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014)
  1. Rabiser, R (coord.)
  2. Torkar, R (coord.)

ISSN: 1089-6503

ISBN: 978-1-4799-5795-8

Año de publicación: 2014

Páginas: 56-59

Congreso: 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

Tipo: Aportación congreso

DOI: 10.1109/SEAA.2014.36 GOOGLE SCHOLAR
Fuente de los datos: WoS