Formal Specification of the HELEF Simulation Language

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216305%3A26230%2F03%3APU42530" target="_blank" >RIV/00216305:26230/03:PU42530 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

angličtina

Název v původním jazyce

Formal Specification of the HELEF Simulation Language

Popis výsledku v původním jazyce

HELEF (HEterogeneous Language Environment) is a new simulation language designed for programming of interactive simulations of large and heterogeneous systems. HELEF was already presented on the MOSIS conference, this paper will describe mainly the formal definition of HELEF semantics and structure.

Název v anglickém jazyce

Formal Specification of the HELEF Simulation Language

Popis výsledku anglicky

HELEF (HEterogeneous Language Environment) is a new simulation language designed for programming of interactive simulations of large and heterogeneous systems. HELEF was already presented on the MOSIS conference, this paper will describe mainly the formal definition of HELEF semantics and structure.

Druh

D - Stať ve sborníku

CEP obor

JC - Počítačový hardware a software

OECD FORD obor

—

Projekt

<a href="/cs/project/GA102%2F01%2F1485" target="_blank" >GA102/01/1485: Prostředí pro vývoj, modelování a aplikaci heterogenních systémů</a><br>

Návaznosti

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Rok uplatnění

2003

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

Proceedings of 37th Internation Conference MOSIS'03

ISBN

80-85988-86-0

ISSN

—

e-ISSN

—

Počet stran výsledku

7

Strana od-do

143-149

Název nakladatele

NEUVEDEN

Místo vydání

Ostrava

Místo konání akce

Brno

Datum konání akce

28. 4. 2003

Typ akce podle státní příslušnosti

EUR - Evropská akce

Kód UT WoS článku

—