Foundations for structuring behavioural specifications.

Razvan Diaconescu Ionut Tutu

Published in: J. Log. Algebraic Methods Program. (2014)

Keyphrases

artificial intelligence
delay insensitive
high level
formal specification
data sets
operational semantics
real world
information systems
case study
multiscale
expert systems
logic programs
control flow
formal descriptions