Formal methods for intelligent transportation systems (Contributo in atti di convegno)

Type
Label
  • Formal methods for intelligent transportation systems (Contributo in atti di convegno) (literal)
Anno
  • 2012-01-01T00:00:00+01:00 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi
  • 10.1007/978-3-642-34032-1_19 (literal)
Alternative label
  • Fantechi A., Flammini F., Gnesi S. (2012)
    Formal methods for intelligent transportation systems
    in Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, Heraclion, Crete, 15-18 October 2012
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Fantechi A., Flammini F., Gnesi S. (literal)
Pagina inizio
  • 187 (literal)
Pagina fine
  • 189 (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url
  • http://link.springer.com/content/pdf/10.1007%2F978-3-642-34032-1_19 (literal)
Note
  • Scopu (literal)
  • PuMa (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • Dipartimento di Sistemi e Informatica, Università degli Studi di Firenze, Firenze, Italy; CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; (literal)
Titolo
  • Formal methods for intelligent transportation systems (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#isbn
  • 978-3-642-34031-4 (literal)
Abstract
  • The term Intelligent Transportation Systems (ITS), [4,5], 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 [2,3]. Safety-critical ITS include the so called X-by-wire (where 'X' can stand for 'fly', 'brake', 'accelerate, 'steer', etc.) systems used in domains like aerospace, automotive and railways. The importance of ITS is increasing as novel driverless/pilotless applications are emerging. (literal)
Prodotto di
Autore CNR

Incoming links:


Prodotto
Autore CNR di
data.CNR.it