An operational semantics for Simulink's simulation engine.

Olivier Bouissou Alexandre Chapoutot

Published in: LCTES (2012)

Keyphrases

operational semantics
formal semantics
matlab simulink
declarative semantics
control system
case study
deductive databases
denotational semantics
activity diagrams
database
artificial intelligence
description logics
dynamic environments
mental states
model theoretic