Validation Coverage for a Component-based SDL model of a Railway Signaling System / M. BANCI; M. BECUCCI; A. FANTECHI. - In: ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE. - ISSN 1571-0661. - ELETTRONICO. - 116:(2005), pp. 99-111. (Intervento presentato al convegno International Workshop on Test and Analysis of Component Based Systems (TACoS 2004) tenutosi a Barcellona nel Aprile 2004).

Validation Coverage for a Component-based SDL model of a Railway Signaling System

FANTECHI, ALESSANDRO
2005

2005
International Workshop on Test and Analysis of Component Based Systems (TACoS 2004)
Barcellona
Aprile 2004
M. BANCI; M. BECUCCI; A. FANTECHI
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/208775
Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 1
  • ???jsp.display-item.citation.isi??? ND
social impact