Stochastic Timed Automata Simulator
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26220%2F09%3APU81790" target="_blank" >RIV/00216305:26220/09:PU81790 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
Stochastic Timed Automata Simulator
Original language description
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 thestructure 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.
Czech name
—
Czech description
—
Classification
Type
D - Article in proceedings
CEP classification
JA - Electronics and optoelectronics
OECD FORD branch
—
Result continuities
Project
<a href="/en/project/GD102%2F09%2FH081" target="_blank" >GD102/09/H081: SYNERGY - Mobile Sensoric Systems and Networks</a><br>
Continuities
Z - Vyzkumny zamer (s odkazem do CEZ)
Others
Publication year
2009
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů
Data specific for result type
Article name in the collection
Proceedings of the International Conference IWCIT '09
ISBN
978-80-214-3949-8
ISSN
—
e-ISSN
—
Number of pages
8
Pages from-to
—
Publisher name
VUT Brno
Place of publication
Brno
Event location
Brno
Event date
Sep 7, 2009
Type of event by nationality
WRD - Celosvětová akce
UT code for WoS article
—