Co-design of communication systems with reactive languages

Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F61989100%3A27240%2F02%3A00006712" target="_blank" >RIV/61989100:27240/02:00006712 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—

Jazyk výsledku
angličtina
Název v původním jazyce
Co-design of communication systems with reactive languages
Popis výsledku v původním jazyce
The paper is streamed to the new reactive language with the ability of description of complex sequential digital system with the asynchronous co-operation of the blocks. The ESTEREL language is a new tool for overall system description with the easy translatin into other description or procedure language. It is used in telecommunication and in the cases of large distributed systems.
Název v anglickém jazyce
Co-design of communication systems with reactive languages
Popis výsledku anglicky
The paper is streamed to the new reactive language with the ability of description of complex sequential digital system with the asynchronous co-operation of the blocks. The ESTEREL language is a new tool for overall system description with the easy translatin into other description or procedure language. It is used in telecommunication and in the cases of large distributed systems.

Projekt
<a href="/cs/project/GA102%2F01%2F1531" target="_blank" >GA102/01/1531: Formální postupy v diagnostice číslicových obvodů - verifikace testovatelného návrhu</a><br>
Návaznosti
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

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