Sign in
Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.
Michel Langevin
Sofiène Tahar
Zijian Zhou
Xiaoyu Song
Eduard Cerny
Published in:
ICCD (1996)
Keyphrases
</>
genetic algorithm
database
real world
higher level
social networks
information systems
multiscale
state space
temporal logic
face verification
behavioral model