Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

Søren Debois, Thomas Hildebrandt, Tijs Slaats

OriginalsprogUdefineret/Ukendt
TitelFM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
RedaktørerNikolaj Bjørner, Frank de Boer
Antal sider18
ForlagSpringer
Publikationsdato2015
Sider143-160
ISBN (Trykt)978-3-319-19248-2
ISBN (Elektronisk)978-3-319-19249-9
DOI
StatusUdgivet - 2015
Eksternt udgivetJa
Begivenhed20th International Symposium on Formal Methods - Oslo, Norge
Varighed: 24 jun. 201526 jun. 2015
Konferencens nummer: 20

Konference

Konference20th International Symposium on Formal Methods
Nummer20
LandNorge
ByOslo
Periode24/06/201526/06/2015
NavnLecture notes in computer science
Vol/bind9109
ISSN0302-9743

ID: 168631769