فهرست مقالات Polyhedral Invariant Hybrid Automata

• دسترسی آزاد مقاله
  • صفحه چکیده
  • متن کامل
  
  1 - Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton
  Sobhi Baniardalani