Login / Signup

Symbolic Model-Checking Method Based on Approximations and Binary Decision Diagrams for Real-Time Systems.

Satoshi YamaneKazuhiro Nakamura
Published in: TACS (1997)
Keyphrases
  • binary decision diagrams
  • real time systems
  • symbolic model checking
  • real time
  • knowledge base
  • data mining
  • artificial intelligence
  • dynamic programming
  • mining algorithm