Login / Signup
Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level.
Tiziana Margaria
Published in:
TPCD (1992)
Keyphrases
</>
mixed mode
higher level
complex systems
finite state machines
real world
case study
data sources
end users
software engineering
signature verification
code generation