Contract model operators for composition and merging: extensions and proofs

Passerone, Roberto; Romeo, Íñigo Íncer; Sangiovanni-Vincentelli, Alberto L.

doi:10.15168/11572_244519

Contract model operators for composition and merging: extensions and proofs / Passerone, Roberto; Romeo, Íñigo Í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;Romeo, Íñigo Íncer;Sangiovanni-Vincentelli, Alberto L.

2019-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2019
			
	Luogo di edizione (Place of publication)
	
				Trento
			
	Casa editrice (Publisher)
	
				Università degli Studi di Trento
			
	DOI
	
				https://dx.doi.org/10.15168/11572_244519
			
	Tutti gli autori
	
						Passerone, Roberto; Romeo, Íñigo Íncer; Sangiovanni-Vincentelli, Alberto L.
					
	Citazione
	
				Contract model operators for composition and merging: extensions and proofs / Passerone, Roberto; Romeo, Íñigo Íncer; Sangiovanni-Vincentelli, Alberto L.. - DISI-19-004(2019), pp. 1-17. [10.15168/11572_244519]
			
	Appare nelle tipologie:
	
				07.1 Rapporto di ricerca (Project Report)

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 Visualizza/Apri	776.78 kB	Adobe PDF	Visualizza/Apri