Transformation of Lotos specifications to Estelle specifications.

Hazem El-Gendy Hoda Baraka

Published in: ISCC (1997)

Keyphrases

formal specification
high level
image processing
delay insensitive
formal specification language
database
neural network
data mining
genetic algorithm
database systems
data model
model checking