Predictability Analysis of Interruptible Systems by Statistical Model Checking
| Autor: | Josef Strnadel |
|---|---|
| Rok vydání: | 2018 |
| Předmět: |
Model checking
Theoretical computer science Stochastic process Computer science 020208 electrical & electronic engineering 02 engineering and technology Statistical model checking 020202 computer hardware & architecture Automaton Hardware and Architecture Statistics 0202 electrical engineering electronic engineering information engineering Electrical and Electronic Engineering Predictability Software |
| Zdroj: | IEEE Design & Test. 35:57-63 |
| ISSN: | 2168-2364 2168-2356 |
| DOI: | 10.1109/mdat.2017.2766568 |
| Popis: | This article proposes a model comprising of a network of stochastic timed automata for predictability analysis of interruptible systems via statistical model checking. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|