A compositional scheme and framework for safety critical systems verification

  1. Capel, M.I.
  2. Mendoza-Morales, L.E.
Aktak:
Proc. of the 10th Int. Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS 2012 and 1st Int. Workshop on , WEBI 2012,in Conj. with ICEIS 2012

ISBN: 9789898565143

Argitalpen urtea: 2012

Orrialdeak: 15-26

Mota: Biltzar ekarpena