Login / Signup
Generating Test Cases for Infinite System Specifications.
Stefan Heymer
Jens Grabowski
Published in:
FBT (1997)
Keyphrases
</>
formal specification
database
high level
hidden markov models
functional requirements
concurrent systems
delay insensitive
software systems
specification language