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 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

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"
}