Tool for Computing Simulations
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F09%3APR25255" target="_blank" >RIV/00216305:26230/09:PR25255 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
Tool for Computing Simulations
Popis výsledku v původním jazyce
The tool allows efficient computation of simulation relation over labelled transition systems and the so called upward and downward simulations over tree automata. Written in OCaml.
Název v anglickém jazyce
Tool for Computing Simulations
Popis výsledku anglicky
The tool allows efficient computation of simulation relation over labelled transition systems and the so called upward and downward simulations over tree automata. Written in OCaml.
Klasifikace
Druh
R - Software
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
Výsledek vznikl pri realizaci vícero projektů. Více informací v záložce Projekty.
Návaznosti
Z - Vyzkumny zamer (s odkazem do CEZ)
Ostatní
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ů
Údaje specifické pro druh výsledku
Interní identifikační kód produktu
SA
Technické parametry
Implementován v programovacím jazyce Ocaml.
Ekonomické parametry
—
IČO vlastníka výsledku
00216305
Název vlastníka
Vysoké učení technické v Brně