Stochastic Timed Automata Simulator

Kód výsledku v 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>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Stochastic Timed Automata Simulator
Popis výsledku v původním jazyce
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.
Název v anglickém jazyce
Stochastic Timed Automata Simulator
Popis výsledku anglicky
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.

Projekt
<a href="/cs/project/GD102%2F09%2FH081" target="_blank" >GD102/09/H081: SYNERGIE - Mobilní senzorické systémy a sítě</a><br>
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění
2009
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Podobné výsledky(10)