Symposium on Formal Methods for Railway Operation and Control Systems,
Modelling a railway signalling system using SDL / S. BACHERINI; S. BIANCHI; L. CAPECCHI; C. BECHERI; A. FELLECA; A. FANTECHI; E. SPINICCI. - STAMPA. - (2003), pp. 1-13. (Intervento presentato al convegno FORMS 2003 tenutosi a Budapest, Hungary nel 15-16 May).
Modelling a railway signalling system using SDL
FANTECHI, ALESSANDRO;
2003
Abstract
Symposium on Formal Methods for Railway Operation and Control Systems,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.