Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno)

Type
Label
  • Formal verification of an automotive scenario in service-oriented computing (Contributo in atti di convegno) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • Ter Beek M. H.; Gnesi S.; Koch N.; Mazzanti F. (2008)
    Formal verification of an automotive scenario in service-oriented computing
    in 30th International Conference on Software Engineering (ICSE'08), Leipzig, Germany
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Ter Beek M. H.; Gnesi S.; Koch N.; Mazzanti F. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • In: 30th International Conference on Software Engineering (ICSE'08) (Leipzig, Germany, 10-18 May 2008). Proceedings, pp. 613 - 622. ACM Press, 2008. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing domain. The aim of this industrial case study is to verify a priori, thus before implementation, certain design issues. The specific scenario is a simplified version of one of possible new services for car drivers to be provided by the in-vehicle computers. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Cirquent GmbH, Munich, Germany (literal)
Titolo
  • Formal verification of an automotive scenario in service-oriented computing (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it