Disjunction of LOTOS Specifications.

Maarten Steen Howard Bowman John Derrick Eerke A. Boiten

Published in: FORTE (1997)

Keyphrases

formal specification language
data sets
specification language
delay insensitive
temporal logic
formal specification
temporal ordering
database
learning algorithm
high level
multiscale
video sequences
evolutionary algorithm
mobile robot
control flow
asynchronous circuits