IEEE Computer Society - Predictability Analysis of Interruptible Systems by Statistical Model Checking

Author(s): Josef Strnadel
Publisher: IEEE Computer Society
Volume: PP
Page(s): 1
ISSN (Electronic): 2168-2364
ISSN (Paper): 2168-2356
DOI: 10.1109/MDAT.2017.2766568

Many systems must be predictable under various sources of unpredictability. To meet this, a system must be modeled and analyzed precisely under various scenarios, which is a problem that grows... View More