Compositional safety verification with Max-SMT

  1. Brockschmidt, M.
  2. Larra, D.
  3. Oliveras, A.
  4. Rodrlguez-Carbonell, E.
  5. Rubio, A.
Aktak:
Proceedings of the 15th Conference on Formal Methods in Computer-Aided Design, FMCAD 2015

ISBN: 9780983567851

Argitalpen urtea: 2015

Orrialdeak: 33-40

Mota: Biltzar ekarpena

DOI: 10.1109/FMCAD.2015.7542250 GOOGLE SCHOLAR
Datuen iturria: Scopus