Generating Discrete Trace Transition System of a Polyhe-dral Invariant Hybrid Automaton

Title / Keyword / DOI / DOR

Author

Journal

By Subjects

Subject of Articles

Issue

Year

Vol.

Page

Logical Operator

Parameter

International Journal of Smart Electrical Engineering

Submit Your Paper
Review for this publication

Downloads : 42

Manuscript ID : IJSEE-1805-1066 Visit : 128 Page: 1 - 8

Article Type: Original Research

Subject Areas : International Journal of Smart Electrical Engineering

1 - Energy Department, Kermanshah University of Technology, Iran

Received: 2018-05-22 Accepted : 2018-07-04 Published : 2018-03-01

Keywords:

Abstract :

References:

Sanad is a platform for managing Azad University publications