Transformation of estelle specifications to lotos specifications.

Hazem El-Gendy Hani El-Sayed Abdel-Wahab Fayez

Published in: CATA (1998)

Keyphrases

high level
formal specification
delay insensitive
neural network
control flow
real time
data sets
databases
database
data mining
decision making
expert systems
relational databases
formal verification