Transforming LOTOS Specifications with LOLA - The Parameterised Expansion.

Juan Quemada Santiago Pavón Angel Fernández

Published in: FORTE (1988)

Keyphrases

formal specification language
delay insensitive
high level
formal specification
data mining
concurrent systems
real world
temporal logic
functional requirements
control flow
formal language
asynchronous circuits
reactive systems
design requirements
image processing
search engine
written in natural language