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

Luke Thomas Herbert, Zaza Nadja Lee Hansen, Peter Jacobsen

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

Original languageEnglish
Title of host publicationProceedings of the European Safety and Reliability Conference ESREL 2014
PublisherCRC Press
Publication date2014
Pages2405-2416
ISBN (Print)9781138026810
Publication statusPublished - 2014
EventEuropean Safety and Reliability Conference 2014 - Wroclaw, Poland
Duration: 14 Sept 201418 Sept 2014
Conference number: 22

Conference

ConferenceEuropean Safety and Reliability Conference 2014
Number22
Country/TerritoryPoland
CityWroclaw
Period14/09/201418/09/2014

Cite this