Threaded Behavior Protocols

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11320%2F13%3A10100295" target="_blank" >RIV/00216208:11320/13:10100295 - isvavai.cz</a>
Výsledek na webu
<a href="http://dx.doi.org/10.1007/s00165-011-0194-3" target="_blank" >http://dx.doi.org/10.1007/s00165-011-0194-3</a>
DOI - Digital Object Identifier
<a href="http://dx.doi.org/10.1007/s00165-011-0194-3" target="_blank" >10.1007/s00165-011-0194-3</a>

Jazyk výsledku
angličtina
Název v původním jazyce
Threaded Behavior Protocols
Popis výsledku v původním jazyce
Threaded Behavior Protocols is the newest formalism of the Behavior protocols family for specification of software components' behavior. It features threads, variables, and constructs known from imperative programming languages while still providing strong formal means for verification of composition and refinement.
Název v anglickém jazyce
Threaded Behavior Protocols
Popis výsledku anglicky
Threaded Behavior Protocols is the newest formalism of the Behavior protocols family for specification of software components' behavior. It features threads, variables, and constructs known from imperative programming languages while still providing strong formal means for verification of composition and refinement.

Druh
J<sub>x</sub> - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)
CEP obor
IN - Informatika
OECD FORD obor
—

Projekt
<a href="/cs/project/GAP202%2F11%2F0312" target="_blank" >GAP202/11/0312: Vývoj a verifikace softwarových komponent v zapouzdřených systémech</a><br>
Návaznosti
S - Specificky vyzkum na vysokych skolach

Rok uplatnění
2013
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)