Login / Signup

Timed Boolean calculus and its applications in timing analysis.

Shiang-Tang HuangTai-Ming ParngJyuo-Min Shyu
Published in: IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (1994)
Keyphrases
  • timed automata
  • model checking
  • real valued
  • petri net
  • boolean functions
  • theorem prover
  • database systems
  • boolean queries
  • multi valued
  • neural network
  • website
  • expert systems
  • data model
  • discrete event