Marussy, Kristóf and Klenik, Attila and Molnár, Vince and Vörös, András and Telek, Miklós and Majzik, István (2016) Configurable numerical analysis for stochastic systems. In: 2016 International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR), 2016.04.11-2016.04.11, Bécs.
|
Text
main.pdf Download (985kB) | Preview |
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Uncontrolled Keywords: | MARKOV; Algorithms; Transient analysis |
Subjects: | Q Science / természettudomány > QA Mathematics / matematika |
SWORD Depositor: | MTMT SWORD |
Depositing User: | MTMT SWORD |
Date Deposited: | 13 Feb 2017 11:19 |
Last Modified: | 13 Feb 2017 11:19 |
URI: | http://real.mtak.hu/id/eprint/48178 |
Actions (login required)
![]() |
Edit Item |