Towards a New Semantics for Mondel Specifications Based on the CO-Net Approach.

Nasreddine Aoumeur Gunter Saake

Published in: Modellierung (1999)

Keyphrases

operational semantics
specification language
control flow
formal semantics
formal language
attribute grammars
semantic information
delay insensitive
logic programming
formal specification
high level
semantic constraints
proof theory
bounded model checking