Specifying telephone systems in LOTOS.

Rezki Boumezbeur Luigi Logrippo

Published in: IEEE Commun. Mag. (1993)

Keyphrases

database
database systems
multiscale
systems require
image processing
web services
case study
computational intelligence
distributed systems
intelligent systems
computer systems
building blocks
computational models
computing systems