Result 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: Marq software s.r.o., 2003. p. 143-148. ISBN: 80-85988-86-0.
Type
conference paper
Language
English
Authors
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.

Keywords

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

Published
2003
Pages
143–148
Proceedings
Proceedings of 37th Internation Conference MOSIS'03
Conference
MOSIS 2003 - Modelling and Simulation of Systems
ISBN
80-85988-86-0
Publisher
Marq software s.r.o.
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",
  publisher="Marq software s.r.o.",
  address="Ostrava",
  isbn="80-85988-86-0"
}
Projects
Environment for Development, Modelling, and Application of Heterogeneous Systems, GACR, Standardní projekty, GA102/01/1485, start: 2001-01-01, end: 2003-12-31, completed
Research groups
Departments
Back to top