Model-based Safety Assessment using OCL and Petri Nets

  1. Rodriguez, Ricardo J.
  2. Gomez-Martinez, Elena
Büchersammlung:
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

Datum der Publikation: 2014

Seiten: 56-59

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

Art: Konferenz-Beitrag

DOI: 10.1109/SEAA.2014.36 GOOGLE SCHOLAR