Formal Modeling of Function Block Applications Running in IEC 61499 Execution Runtime.

Goran Cengic Oscar Ljungkrantz Knut Åkesson

Published in: ETFA (2006)

Keyphrases

control system
database
case study
modeling language
formal models
information systems
database systems
dynamic environments
formal model
modeling method