Přístupnostní navigace
E-přihláška
Vyhledávání Vyhledat Zavřít
Detail publikace
KACZMARCZYK, V.
Originální název
Stochastic Timed Automata Simulator
Typ
článek ve sborníku ve WoS nebo Scopus
Jazyk
angličtina
Originální abstrakt
In the paper basic idea of timed automata simulator is introduced. The simulator should be the extension of the UPPAAL tool (tool for modeling, simulation and verification systems) simulator. After basic definition for clarifying notion is presented the structure of simulator and simulation data. In the second chapter there is mentioned an illustration example of simple automaton and its calculation. Common problems are described and their solution is sketched out. In the last chapter the future research is outlined.
Klíčová slova
Simulator, Stochastic automaton, Timed automaton, Time region, Probability
Autoři
Rok RIV
2009
Vydáno
8. 9. 2009
Nakladatel
VUT Brno
Místo
Brno
ISBN
978-80-214-3949-8
Kniha
Proceedings of the International Conference IWCIT '09
Edice
1
Číslo edice
Strany od
141
Strany do
148
Strany počet
8
BibTex
@inproceedings{BUT29810, author="Václav {Kaczmarczyk}", title="Stochastic Timed Automata Simulator", booktitle="Proceedings of the International Conference IWCIT '09", year="2009", series="1", number="1", pages="141--148", publisher="VUT Brno", address="Brno", isbn="978-80-214-3949-8" }