We show how to use a UMC model of the on road assistance scenario of SENSORIA's Automotive case study, described in [BGKM08], and verify properties formulated in the service-oriented temporal logic SocL.
Sensoria - Manual for using the UMC model of the automotive case study
Ter Beek M;Mazzanti F
2010
Abstract
We show how to use a UMC model of the on road assistance scenario of SENSORIA's Automotive case study, described in [BGKM08], and verify properties formulated in the service-oriented temporal logic SocL.File in questo prodotto:
| File | Dimensione | Formato | |
|---|---|---|---|
|
prod_161192-doc_84690.pdf
accesso aperto
Descrizione: Sensoria - Manual for using the UMC model of the automotive case study
Dimensione
3.91 MB
Formato
Adobe PDF
|
3.91 MB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
