Publication Details

Formal Specification of the HELEF Simulation Language

HRUBÝ Martin. Formal Specification of the HELEF Simulation Language. In: Proceedings of 37th Internation Conference MOSIS'03. Ostrava, 2003, pp. 143-148. ISBN 80-85988-86-0.
Type
conference paper
Language
english
Authors
Keywords

modelling and simulation, simulation language, heterogeneous systems, heterogeneity, object orientation, HELEF

Abstract

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.

Published
2003
Pages
143-148
Proceedings
Proceedings of 37th Internation Conference MOSIS'03
Conference
MOSIS 2003 - Modelling and Simulation of Systems, Brno, CZ
ISBN
80-85988-86-0
Place
Ostrava, CZ
BibTeX
@INPROCEEDINGS{FITPUB7176,
   author = "Martin Hrub\'{y}",
   title = "Formal Specification of the HELEF Simulation Language",
   pages = "143--148",
   booktitle = "Proceedings of 37th Internation Conference MOSIS'03",
   year = 2003,
   location = "Ostrava, CZ",
   ISBN = "80-85988-86-0",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7176"
}
Back to top