Using quantitative stochastic model checking tool to increase safety and improve efficiency in production processes

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Proceedings of the European Safety and Reliability Conference ESREL 2014
Publisher	CRC Press
Publication date	2014
Pages	2405-2416
ISBN (Print)	9781138026810
Publication status	Published - 2014
Event	European Safety and Reliability Conference 2014 - Wroclaw, Poland Duration: 14 Sept 2014 → 18 Sept 2014 Conference number: 22

Conference	European Safety and Reliability Conference 2014
Number	22
Country/Territory	Poland
City	Wroclaw
Period	14/09/2014 → 18/09/2014

OpenUrl availability

@inproceedings{a1c81f39aba44fbfbaaf37c62a5d0c35,

title = "Using quantitative stochastic model checking tool to increase safety and improve efficiency in production processes",

author = "Herbert, \{Luke Thomas\} and Hansen, \{Zaza Nadja Lee\} and Peter Jacobsen",

year = "2014",

language = "English",

isbn = "9781138026810",

pages = "2405--2416",

booktitle = "Proceedings of the European Safety and Reliability Conference ESREL 2014",

publisher = "CRC Press",

note = "European Safety and Reliability Conference 2014, ESREL 2014 ; Conference date: 14-09-2014 Through 18-09-2014",

}

Using quantitative stochastic model checking tool to increase safety and improve efficiency in production processes. / Herbert, Luke Thomas; Hansen, Zaza Nadja Lee; Jacobsen, Peter.
Proceedings of the European Safety and Reliability Conference ESREL 2014. CRC Press, 2014. p. 2405-2416.

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

TY - GEN

T1 - Using quantitative stochastic model checking tool to increase safety and improve efficiency in production processes

AU - Herbert, Luke Thomas

AU - Hansen, Zaza Nadja Lee

AU - Jacobsen, Peter

N1 - Conference code: 22

PY - 2014

Y1 - 2014

M3 - Article in proceedings

SN - 9781138026810

SP - 2405

EP - 2416

BT - Proceedings of the European Safety and Reliability Conference ESREL 2014

PB - CRC Press

T2 - European Safety and Reliability Conference 2014

Y2 - 14 September 2014 through 18 September 2014

ER -