Date: 2015-03-25 18:43:01Markov processes Models of computation Markov models Differential equations Petri net Probabilistic automaton Markov chain Hybrid automaton Random variable Statistics Probability and statistics Automata theory | | HASL: a New Approach for Performance Evaluation and Model Checking from Concepts to Experimentation Paolo Ballarini, Benoˆıt Barbot, Marie Duflot, SergeAdd to Reading ListSource URL: www.lsv.ens-cachan.frDownload Document from Source Website File Size: 1,12 MBShare Document on Facebook
|