RE.PUBLIC@POLIMI pubblicazioni di ricerca del Politecnico di Milano

Scalable Formal Verification of UML Models

POURHASHEM KALLEHBASTI, MOHAMMAD MEHDI
2015-01-01
2015
2015 IEEE/ACM 37TH IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING, VOL 2
04.1 Contributo in Atti di convegno
File in questo prodotto:
File Dimensione Formato  
07203096.pdf

Accesso riservato

: Publisher’s version
Dimensione 640.67 kB
Formato Adobe PDF
  Visualizza/Apri
640.67 kB Adobe PDF   Visualizza/Apri

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11311/965207
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 2
  • ???jsp.display-item.citation.isi??? 2
social impact