Verification of timing properties of a medical patient table case study using probabilistic model checking

Autor:	Joel Braun, Klaus Janschek, Thomas Mutzke, K. Ding, Andrey Morozov
Rok vydání:	2018
Předmět:	Computer science Table (database) Data mining Medical patient computer.software_genre computer Probabilistic model checking
Zdroj:	Safety and Reliability – Safe Societies in a Changing World ISBN: 9781351174664 Safety and Reliability – Safe Societies in a Changing World
DOI:	10.1201/9781351174664-320
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::04ac1554459b205d1bc1bb5a5ee15343 https://doi.org/10.1201/9781351174664-320 Zobrazit plný text záznamu