Incremental specification in LOTOS.

Haruhisa Ichikawa Kenjiroh Yamanaka June Kato

Published in: PSTV (1990)

Keyphrases

temporal ordering
high level
incremental learning
formal specification
incremental clustering
specification language
reactive systems
incremental version
image processing
mobile robot
constraint propagation
efficient incremental