Modelling Resilient Systems-of-Systems in Event-B
Julkaisuvuosi
2014
Tekijät
Linas Laibinis; I Pereverzeva; Elena Troubitsyna
Organisaatiot ja tekijät
Åbo Akademi
Troubitsyna Elena
Julkaisutyyppi
Julkaisumuoto
Artikkeli
Emojulkaisun tyyppi
Konferenssi
Artikkelin tyyppi
Muu artikkeli
Yleisö
TieteellinenVertaisarvioitu
VertaisarvioituOKM:n julkaisutyyppiluokitus
A4 Artikkeli konferenssijulkaisussaJulkaisukanavan tiedot
Lehti
Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
Emojulkaisun nimi
Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
Konferenssi
conference; 2014-09-08; 2014-09-09
Sivut
157–166
ISBN
Avoin saatavuus
Avoin saatavuus kustantajan palvelussa
Ei tietoa
Rinnakkaistallennettu
Ei
Muut tiedot
Tieteenalat
Tietojenkäsittely ja informaatiotieteet
Avainsanat
[object Object],[object Object],[object Object],[object Object]
Kustantajan kansainvälisyys
Kotimainen
Kansainvälinen yhteisjulkaisu
Ei
Yhteisjulkaisu yrityksen kanssa
Ei
DOI
10.1007/978-3-319-10557-4_19
Julkaisu kuuluu opetus- ja kulttuuriministeriön tiedonkeruuseen
Kyllä