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