Techniques for Abstracting SDL Specifications.

Sergiy Boroday Roland Groz Alexandre Petrenko Yves-Marie Quemener

Published in: SAM (2002)

Keyphrases

delay insensitive
formal specification
neural network
finite state machines
genetic algorithm
specification language
control flow
operational semantics
databases
image processing
website
high level
information technology
software systems