Login / Signup

Behavioral Verification of an ATM Switch Fabric using Implicit Abstract State Enumeration.

Michel LangevinSofiène TaharZijian ZhouXiaoyu SongEduard 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