AsmetaVis - Asmeta Visualizer
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10332074" target="_blank" >RIV/00216208:11320/16:10332074 - isvavai.cz</a>
Result on the web
<a href="http://asmeta.sourceforge.net/download/asmetavis.html" target="_blank" >http://asmeta.sourceforge.net/download/asmetavis.html</a>
DOI - Digital Object Identifier
—
Alternative languages
Result language
angličtina
Original language name
AsmetaVis - Asmeta Visualizer
Original language description
The tool provides a visual notation for Abstract State Machines (ASMs). The basic visualization visualizes the structure of ASM transition rules is shown. The semantic visualization allows to visualize part of the behavior of the machine.
Czech name
—
Czech description
—
Classification
Type
R - Software
CEP classification
IN - Informatics
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2016
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
Internal product ID
AsmetaVis
Technical parameters
Open source
Economical parameters
Z principu nejsou k dispozici
Owner IČO
00216208
Owner name
Paolo Arcaini