23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems,

Behavioural Contracts for a Sound Assembly of Components / C. CARREZ; A. FANTECHI; E. NAJM. - STAMPA. - LNCS 2767:(2003), pp. 111-126. (Intervento presentato al convegno FORTE 2003 tenutosi a Berlin nel 29 Sept - 2 Oct. 2003.).

Behavioural Contracts for a Sound Assembly of Components

FANTECHI, ALESSANDRO;
2003

Abstract

23rd IFIP International Conference on Formal Techniques for Networked and Distributed Systems,
2003
FORTE 2003
Berlin
29 Sept - 2 Oct. 2003.
C. CARREZ; A. FANTECHI; E. NAJM
File in questo prodotto:
Non ci sono file associati a questo prodotto.

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

Utilizza questo identificatore per citare o creare un link a questa risorsa: https://hdl.handle.net/2158/238581
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 18
  • ???jsp.display-item.citation.isi??? 7
social impact