20 search results - page 1 / 4 » Formal verification of an automotive scenario in service-ori... |
ICSE
2008
IEEE-ACM
14 years 12 months ago
2008
IEEE-ACM
We report on the successful application of academic experience with formal modelling and verification techniques to an automotive scenario from the service-oriented computing doma...
EWSA
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
ERCIM
2007
13 years 11 months ago
2007
COMPSAC
2008
IEEE
14 years 5 months ago
2008
IEEE
We discuss the suitability of service-oriented computing for the automotive domain. We present a formal high-level language in which complex automotive activities can be modelled ...
JSW
2007
13 years 11 months ago
2007
— The usual scenario of service oriented systems is characterized by several services offering the same functionalities, by new services that are continuosly deployed and by othe...