Specification and implementation of an ISDN telephone system using LOTOS.

Patrik Ernberg Thomas Hovander Francisco Monfort

Published in: FORTE (1992)

Keyphrases

high level
call center
multi agent
specification language
temporal ordering
formal specification language
data sets
feature selection
image processing
wireless sensor networks
general purpose
constraint propagation
formal methods
implementation details