Modelling Resilient Systems-of-Systems in Event-B
Publiceringsår
2014
Upphovspersoner
Linas Laibinis; I Pereverzeva; Elena Troubitsyna
Organisationer och upphovspersoner
Åbo Akademi
Troubitsyna Elena
Publikationstyp
Publikationsform
Artikel
Moderpublikationens typ
Konferens
Artikelstyp
Annan artikel
Målgrupp
VetenskapligKollegialt utvärderad
Kollegialt utvärderadUKM:s publikationstyp
A4 Artikel i en konferenspublikationPublikationskanalens uppgifter
Journal
Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
Moderpublikationens namn
Proceedings of Computer Safety, Reliability, and Security (SAFECOMP 2014): Workshops
Konferens
conference; 2014-09-08; 2014-09-09
Sidor
157–166
ISBN
Öppen tillgång
Öppen tillgänglighet i förläggarens tjänst
Ingen information
Parallellsparad
Nej
Övriga uppgifter
Vetenskapsområden
Data- och informationsvetenskap
Nyckelord
[object Object],[object Object],[object Object],[object Object]
Förlagets internationalitet
Inhemsk
Internationell sampublikation
Nej
Sampublikation med ett företag
Nej
DOI
10.1007/978-3-319-10557-4_19
Publikationen ingår i undervisnings- och kulturministeriets datainsamling
Ja