A contract-based formalism for the specification of heterogeneous systems

Benvenuti, L.; Ferrari, A.; Mangeruca, L.; Mazzi, E.; Passerone, Roberto; Sofronis, C.

doi:10.1109/FDL.2008.4641436

A contract-based formalism for the specification of heterogeneous systems

L. Benvenuti;A. Ferrari;L. Mangeruca;E. Mazzi;Passerone, Roberto;C. Sofronis

2008-01-01

Scheda breve

Scheda completa

Scheda completa (DC)

	Anno di pubblicazione (Date of publication)
	
				2008
			
	Titolo del volume (Proceedings title)
	
				Forum on Specification, Verification and Design Languages
			
	Luogo di edizione (Place of publication)
	
				Stuttgart, Germany
			
	Casa editrice (Publisher)
	
				ACM/IEEE
			
	ISBN
	
				9781424422654
			
	Codice Scopus (Scopus Identifier)
	
				2-s2.0-67650492988
			
	Codice WOS (WOS identifier)
	
				WOS:000264859500029
			
	Tutti gli autori
	
						L., Benvenuti; A., Ferrari; L., Mangeruca; E., Mazzi; Passerone, Roberto; C., Sofronis
					
	Appare nelle tipologie:
	
				04.1 Saggio in atti di convegno (Paper in Proceedings)