Time properties verification of UML/MARTE real-time systems.

Aymen Louati Kamel Barkaoui Chadlia Jerad

Published in: IRI (2014)

Keyphrases

real time systems
formal methods
real time
embedded real time systems
distributed systems
embedded systems
architectural model
object oriented programming language
database
software systems
real time database systems
mission critical
artificial neural networks
modeling language
timing constraints