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

Søren Debois; Thomas Hildebrandt; Tijs Slaats

doi:10.1007/978-3-319-19249-9_10

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

Søren Debois, Thomas Hildebrandt, Tijs Slaats

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

29 Citationer (Scopus)

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	https://doi.org/10.1007/978-3-319-19249-9_10
Status	Udgivet - 2015
Udgivet eksternt	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/Område	Norge
By	Oslo
Periode	24/06/2015 → 26/06/2015

Navn	Lecture notes in computer science
Vol/bind	9109
ISSN	0302-9743

Adgang til dokumentet

10.1007/978-3-319-19249-9_10

Citationsformater

Debois, S., Hildebrandt, T., & Slaats, T. (2015). Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. I N. Bjørner, & F. de Boer (red.), FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings (s. 143-160). Springer. Lecture notes in computer science Bind 9109 https://doi.org/10.1007/978-3-319-19249-9_10

Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. / Debois, Søren; Hildebrandt, Thomas; Slaats, Tijs.

FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. red. / Nikolaj Bjørner; Frank de Boer. Springer, 2015. s. 143-160 (Lecture notes in computer science, Bind 9109).

Publikation: Bidrag til bog/antologi/rapport › Konferencebidrag i proceedings › Forskning › peer review

Debois, S, Hildebrandt, T & Slaats, T 2015, Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. i N Bjørner & F de Boer (red), FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer, Lecture notes in computer science, bind 9109, s. 143-160, 20th International Symposium on Formal Methods, Oslo, Norge, 24/06/2015. https://doi.org/10.1007/978-3-319-19249-9_10

Debois S, Hildebrandt T, Slaats T. Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. I Bjørner N, de Boer F, red., FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. Springer. 2015. s. 143-160. (Lecture notes in computer science, Bind 9109). https://doi.org/10.1007/978-3-319-19249-9_10

Debois, Søren ; Hildebrandt, Thomas ; Slaats, Tijs. / Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings. red. / Nikolaj Bjørner ; Frank de Boer. Springer, 2015. s. 143-160 (Lecture notes in computer science, Bind 9109).

@inproceedings{ad2e52728bf140d69439cd8338ef7a05,

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

author = "S{\o}ren Debois and Thomas Hildebrandt and Tijs Slaats",

year = "2015",

doi = "10.1007/978-3-319-19249-9_10",

language = "Udefineret/Ukendt",

isbn = "978-3-319-19248-2",

series = "Lecture notes in computer science",

publisher = "Springer",

pages = "143--160",

editor = "Nikolaj Bj{\o}rner and {de Boer}, Frank",

booktitle = "FM 2015: Formal Methods",

address = "Schweiz",

note = "null ; Conference date: 24-06-2015 Through 26-06-2015",

}

TY - GEN

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

AU - Debois, Søren

AU - Hildebrandt, Thomas

AU - Slaats, Tijs

N1 - Conference code: 20

PY - 2015

Y1 - 2015

U2 - 10.1007/978-3-319-19249-9_10

DO - 10.1007/978-3-319-19249-9_10

M3 - Konferencebidrag i proceedings

SN - 978-3-319-19248-2

T3 - Lecture notes in computer science

SP - 143

EP - 160

BT - FM 2015: Formal Methods

A2 - Bjørner, Nikolaj

A2 - de Boer, Frank

PB - Springer

Y2 - 24 June 2015 through 26 June 2015

ER -