Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › fagfællebedømt
Originalsprog | Udefineret/Ukendt |
---|---|
Titel | FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
Redaktører | Nikolaj Bjørner, Frank de Boer |
Antal sider | 18 |
Forlag | Springer |
Publikationsdato | 2015 |
Sider | 143-160 |
ISBN (Trykt) | 978-3-319-19248-2 |
ISBN (Elektronisk) | 978-3-319-19249-9 |
DOI | |
Status | Udgivet - 2015 |
Eksternt udgivet | Ja |
Begivenhed | 20th International Symposium on Formal Methods - Oslo, Norge Varighed: 24 jun. 2015 → 26 jun. 2015 Konferencens nummer: 20 |
Konference
Konference | 20th International Symposium on Formal Methods |
---|---|
Nummer | 20 |
Land | Norge |
By | Oslo |
Periode | 24/06/2015 → 26/06/2015 |
Navn | Lecture notes in computer science |
---|---|
Vol/bind | 9109 |
ISSN | 0302-9743 |
ID: 168631769