Login / Signup
Verification of Interactive System Using Algebraic Specification.
Francisco Luis Gutiérrez Vela
Miguel Gea
Juan Carlos Torres
Published in:
DSV-IS (2) (1998)
Keyphrases
</>
formal verification
formal methods
asynchronous circuits
protocol specification
formal specification
model checking
computer graphics
virtual reality
ims qti
user friendly
specification language
information retrieval
data sets
image sequences
interactive learning
decision trees
graphical interface
knowledge base