Login / Signup
Formal Specification of Telephone Systems in LOTOS: The Contraint-Oriented Style Approach.
Mohammed Faci
Luigi Logrippo
Bernard Stepien
Published in:
Comput. Networks ISDN Syst. (1991)
Keyphrases
</>
formal specification
formal methods
distributed systems
specification languages
artificial intelligence
model checking
specification language
formal specification language
expert systems
knowledge representation
knowledge based systems
reverse engineering
data abstraction
object oriented design