Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach
Publiceringsår
2011
Upphovspersoner
Tarasyuk, Anton; Troubitsyna, Elena; Laibinis, Linas
Organisationer och upphovspersoner
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Samlingsverk
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A3 Del av bok eller annat samlingsverkPublikationskanalens uppgifter
Förläggare
Sidor
459-472
Publikationsforum
Publikationsforumsnivå
1
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Okänd
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Publiceringsland
Förenta staterna (USA)
Språk
engelska
Internationell sampublikation
Ja
Sampublikation med ett företag
Okänd
DOI
10.4018/978-1-60960-747-0
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja