Verification of real-time systems design.

María-Emilia Cambronero Valentín Valero Ruiz Gregorio Díaz

Published in: Softw. Test. Verification Reliab. (2010)

Keyphrases

real time systems
embedded systems
real time embedded
machine learning
functional verification
architectural model
multi agent systems
information processing
mission critical