Unified Syntax for Abstract State Machines

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F16%3A10331926" target="_blank" >RIV/00216208:11320/16:10331926 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/978-3-319-33600-8_14" target="_blank" >http://dx.doi.org/10.1007/978-3-319-33600-8_14</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/978-3-319-33600-8_14" target="_blank" >10.1007/978-3-319-33600-8_14</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Unified Syntax for Abstract State Machines
Popis výsledku v původním jazyce
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and verification tools.
Název v anglickém jazyce
Unified Syntax for Abstract State Machines
Popis výsledku anglicky
The paper presents our efforts in defining UASM, a unified syntax for Abstract State Machines (ASMs), based on the syntaxes of two of the main ASM frameworks, CoreASM and ASMETA, which have been adapted to accept UASM as input syntax of all their validation and verification tools.

Projekt
—
Návaznosti
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění
2016
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ů

Název statě ve sborníku
Abstract State Machines, Alloy, B, TLA, VDM, and Z: 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings
ISBN
978-3-319-33600-8
ISSN
0302-9743
e-ISSN
—
Počet stran výsledku
6
Strana od-do
231-236
Název nakladatele
Springer International Publishing
Místo vydání
Cham
Místo konání akce
Linz, Austria
Datum konání akce
23. 5. 2016
Typ akce podle státní příslušnosti
WRD - Celosvětová akce
Kód UT WoS článku
000379124200014

Podobné výsledky(10)