Login / Signup
New Method to Reduce Verification Time of Reconfigurable Real-Time Systems Using R-TNCESs Formalism.
Yousra Hafidi
Laïd Kahloul
Mohamed Khalgui
Mohamed Ramdani
Published in:
ENASE (Selected Papers) (2019)
Keyphrases
</>
real time systems
support vector machine
clustering method
detection method
significant improvement
objective function
dynamic programming
high accuracy
distributed systems
real time
similarity measure
knowledge representation