Zobrazeno 1 - 3
of 3
pro vyhledávání: '"Jonas Rinast"'
Publikováno v:
International Journal of Computer Assisted Radiology and Surgery. 11:2085-2096
Correlation between internal and external motion is critical for respiratory motion compensation in radiosurgery. Artifacts like coughing, sneezing or yawning or changes in the breathing pattern can lead to misalignment between beam and tumor and nee
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bc53ec3ac54513c55ca4cffbc3f71cba
https://doi.org/10.1007/s11548-016-1423-2
https://doi.org/10.1007/s11548-016-1423-2
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319064093
FM
FM
On-line model checking is a recent technique to overcome limitations of model checking if accurate system models are not available. At certain times during on-line model checking it is necessary to adjust the current model state to the real-world sta
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::39fe75fbbceab8e8e5ac2d4b07d53672
https://doi.org/10.1007/978-3-319-06410-9_37
https://doi.org/10.1007/978-3-319-06410-9_37
Autor:
Jonas Rinast, Sibylle Schupp
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783642333644
FORMATS
FORMATS
This paper addresses Zeno runs, i.e., transition sequences that can execute arbitrarily fast, in the context of model checking with the UPPAAL tool. Zeno runs conflict with real-world experience where execution always takes time and they may introduc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e66f7fea1a21c72acaef955700db0841
https://doi.org/10.1007/978-3-642-33365-1_16
https://doi.org/10.1007/978-3-642-33365-1_16