Quantitative Reasoning about Dependability in Event-B: Probabilistic Model Checking Approach
Julkaisuvuosi
2011
Tekijät
Tarasyuk, Anton; Troubitsyna, Elena; Laibinis, Linas
Organisaatiot ja tekijät
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Kokoomateos
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A3 Kirjan tai muun kokoomateoksen osaJulkaisukanavan tiedot
Kustantaja
Sivut
459-472
Julkaisufoorumi
Julkaisufoorumitaso
1
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei tietoa
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Julkaisumaa
Yhdysvallat (USA)
Kieli
englanti
Kansainvälinen yhteisjulkaisu
Kyllä
Yhteisjulkaisu yrityksen kanssa
Ei tietoa
DOI
10.4018/978-1-60960-747-0
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä