Publication Details

Formal Specification of the HELEF Simulation Language

HRUBÝ, M. Formal Specification of the HELEF Simulation Language. Proceedings of 37th Internation Conference MOSIS'03. Ostrava: 2003. p. 143-148. ISBN: 80-85988-86-0.
Type
conference paper
Language
English
Authors
Hrubý Martin, Ing., Ph.D. (DITS)
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 interactivesimulations of large and heterogeneous systems. HELEF was alreadypresented on the MOSIS conference, this paper will describe mainlythe 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
BibTeX 
@inproceedings{BUT13971,
  author="Martin {Hrubý}",
  title="Formal Specification of the HELEF Simulation Language",
  booktitle="Proceedings of 37th Internation Conference MOSIS'03",
  year="2003",
  pages="143--148",
  address="Ostrava",
  isbn="80-85988-86-0"
}
Back to top