Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review
Original language | Undefined/Unknown |
---|---|
Title of host publication | FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings |
Editors | Nikolaj Bjørner, Frank de Boer |
Number of pages | 18 |
Publisher | Springer |
Publication date | 2015 |
Pages | 143-160 |
ISBN (Print) | 978-3-319-19248-2 |
ISBN (Electronic) | 978-3-319-19249-9 |
DOIs | |
Publication status | Published - 2015 |
Externally published | Yes |
Event | 20th International Symposium on Formal Methods - Oslo, Norway Duration: 24 Jun 2015 → 26 Jun 2015 Conference number: 20 |
Conference
Conference | 20th International Symposium on Formal Methods |
---|---|
Nummer | 20 |
Land | Norway |
By | Oslo |
Periode | 24/06/2015 → 26/06/2015 |
Series | Lecture notes in computer science |
---|---|
Volume | 9109 |
ISSN | 0302-9743 |
ID: 168631769