Time Properties Verification Framework for UML-MARTE Safety Critical Real-Time Systems.

Ning Ge Marc Pantel

Published in: ECMFA (2012)

Keyphrases

real time systems
formal methods
safety critical
fault tolerant
embedded systems
architectural model
machine learning
software engineering
multi agent
cooperative
relational databases
knowledge based systems
software systems