Login / Signup
Standardization of Formal Methods in Conformance Testing of Communication Protocols.
Ana R. Cavalli
Jean Philippe Favreau
Marc Phalippou
Published in:
Comput. Networks ISDN Syst. (1996)
Keyphrases
</>
protocol specification
communication protocols
formal methods
process algebra
formal specification
development lifecycle
communication protocol
artificial intelligence
model checking
software engineering
formal analysis
safety critical
formal specification language
end to end
temporal logic
modeling language