Detail publikace

Stochastic Timed Automata Simulator

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

KACZMARCZYK, V.

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

1

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"
}