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. (FORMS 2003 Budapest, Hungary 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.
