Analyzing Oscillatory Behavior with Formal Methods.
| Autor: | Andreychenko, Alexander, Krüger, Thilo, Spieler, David |
|---|---|
| Zdroj: | Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems; 2014, p1-25, 25p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|