PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ferrari A., Fantechi A., Bacherini S., Zingoni N. Formal modeling for railway signaling using commercial tools. In: NFM 2009 - The First NASA Formal Methods Symposium (Moffett Field, California, April 6 - 8 2009). Proceedings, pp. 166 - 170. E. Denney, D. Giannakopoulou, C. S. Pasareanu (eds.). NASA Ames Research Center, 2009.

Icona documento  Full Bibliographic record
Icona documento 1) Download Document PDF

Icona documento Open access Icona documento Restricted Icona documento No access

 

Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it
CNR Pub Digital Library Powered by OCTOPUS System Copyright © 2003-2004. All rights reserved by S.C.

Valid HTML 4.0 Transitional