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

Søren Debois, Thomas Hildebrandt, Tijs Slaats

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

29 Citations (Scopus)
Original languageUndefined/Unknown
Title of host publicationFM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings
EditorsNikolaj Bjørner, Frank de Boer
Number of pages18
PublisherSpringer
Publication date2015
Pages143-160
ISBN (Print)978-3-319-19248-2
ISBN (Electronic)978-3-319-19249-9
DOIs
Publication statusPublished - 2015
Externally publishedYes
Event20th International Symposium on Formal Methods - Oslo, Norway
Duration: 24 Jun 201526 Jun 2015
Conference number: 20

Conference

Conference20th International Symposium on Formal Methods
Number20
Country/TerritoryNorway
CityOslo
Period24/06/201526/06/2015
SeriesLecture notes in computer science
Volume9109
ISSN0302-9743

Cite this