Formal methods for railway control systems (Articolo in rivista)

Type

• Articolo in rivista (Classe)
• Prodotto della ricerca (Classe)

Label

• Formal methods for railway control systems (Articolo in rivista) (literal)

Anno

• 2014-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.1007/s10009-014-0342-1 (literal)

Alternative label

• Fantechi A., Gnesi S., Flalmmini F. (2014)
  Formal methods for railway control systems
  in International journal on software tools for technology transfer (Print); Springer, Berlin Heidelberg (Germania)
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Fantechi A., Gnesi S., Flalmmini F. (literal)

Pagina inizio

• 643 (literal)

Pagina fine

• 646 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://www.scopus.com/inward/record.url?eid=2-s2.0-84919863128&partnerID=q2rCbXpz (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroVolume

• 16 (literal)

Rivista

• International journal on software tools for technology transfer (Rivista)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#pagineTotali

• 4 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#numeroFascicolo

• 6 (literal)

Note

• PuMa (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy (literal)

Titolo

• Formal methods for railway control systems (literal)

Abstract

• The term intelligent transportation systems (ITS) refers to information and communication technology (applied to transport infrastructure and vehicles) that improve transport outcomes such as transport safety, transport productivity, travel reliability, informed travel choices, social equity, environmental performance and network operation resilience. The importance of ITS is increasing as novel driverless/pilotless applications are emerging. This special issue addresses the application of formal methods to model and analyze complex systems in the context of ITS and in particular in the field of railway control systems. In fact, modelling and analysis activities are very important to optimize system life-cycle in the design, development, verification and operational stages, and they are essential whenever assessment and certification is required by international standards. (literal)

Editore

• Springer (Editore)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• ALESSANDRO FANTECHI (Persona)
• STEFANIA GNESI (Persona)

Insieme di parole chiave

• Keywords of "Formal methods for railway control systems" (Insieme di parole chiave)

Incoming links:

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Autore CNR di

• STEFANIA GNESI (Persona)
• ALESSANDRO FANTECHI (Persona)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#rivistaDi

• International journal on software tools for technology transfer (Rivista)

Editore di

• Springer (Editore)

Insieme di parole chiave di

• Keywords of "Formal methods for railway control systems" (Insieme di parole chiave)