Login / Signup
ECCS and LIPS: Two Languages for OSI Systems Specification and Verification.
Vincenza Carchiolo
Antonella Di Stefano
Alberto Faro
Giuseppe Pappalardo
Published in:
ACM Trans. Program. Lang. Syst. (1989)
Keyphrases
</>
asynchronous circuits
formal methods
formal languages
complex systems
formal verification
high level
distributed systems
knowledge based systems
expressive power
highly modular
neural network
knowledge representation languages
reference model
model checking
computer systems
management system
data model