Login / Signup

Verification of Context-Free Timed Systems Using Linear Hybrid Observers.

Ahmed BouajjaniRachid EchahedRiadh Robbana
Published in: CAV (1994)
Keyphrases
  • context free
  • expert systems
  • knowledge based systems
  • context free grammars
  • grammatical inference