Login / Signup
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing.
Takanori Mori
Akio Nakata
Teruo Higashino
Published in:
Stud. Inform. Univ. (2004)
Keyphrases
</>
model checking
verification method
multimedia
knowledge representation
computational complexity
formal verification
pspace complete
temporal properties