Login / Signup
An approach to animating Z specifications.
Xiaoping Jia
Published in:
COMPSAC (1995)
Keyphrases
</>
formal specification
delay insensitive
bounded model checking
information systems
multiscale
programming language
artificial intelligence
e learning
case study
high level
video sequences
natural language
artificial neural networks
evolutionary algorithm
specification language
reactive systems