Model-based Safety Assessment using OCL and Petri Nets

  1. Rodriguez, Ricardo J.
  2. Gomez-Martinez, Elena
Col·lecció de llibres:
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

Any de publicació: 2014

Pàgines: 56-59

Congrés: 40th Euromicro Conference on Software Engineering and Advanced Applications (SEAA)

Tipus: Aportació congrés

DOI: 10.1109/SEAA.2014.36 GOOGLE SCHOLAR