Formal Specifications of Telephone Systems in LOTOS.

Mohammed Faci Luigi Logrippo Bernard Stepien

Published in: PSTV (1989)

Keyphrases

formal specification
computer systems
formal methods
formal specification language
database
artificial intelligence
email
building blocks
design methodology