Contract model operators for composition and merging: extensions and proofs / Passerone, Roberto; Romeo, Íñigo Íncer; Sangiovanni-Vincentelli, Alberto L.. - DISI-19-004(2019), pp. 1-17. [10.15168/11572_244519]

Contract model operators for composition and merging: extensions and proofs

Passerone, Roberto;
2019-01-01

2019
Trento
Università degli Studi di Trento
Passerone, Roberto; Romeo, Íñigo Íncer; Sangiovanni-Vincentelli, Alberto L.
Contract model operators for composition and merging: extensions and proofs / Passerone, Roberto; Romeo, Íñigo Íncer; Sangiovanni-Vincentelli, Alberto L.. - DISI-19-004(2019), pp. 1-17. [10.15168/11572_244519]
File in questo prodotto:
File Dimensione Formato  
tr_disi_19_004.pdf

accesso aperto

Tipologia: Versione editoriale (Publisher’s layout)
Licenza: Tutti i diritti riservati (All rights reserved)
Dimensione 776.78 kB
Formato Adobe PDF
776.78 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/11572/244519
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus ND
  • ???jsp.display-item.citation.isi??? ND
social impact