On Improved Verification of Reconfigurable Real-Time Systems.

Yousra Hafidi Laïd Kahloul Mohamed Khalgui Mohamed Ramdani

Published in: ENASE (2019)

Keyphrases

real time systems
real time
embedded systems
distributed systems
low cost
timing constraints
real time database systems
mission critical
architectural model
model checking
real time embedded
object oriented programming language
database management systems
automatically generated