Semi-Automatic Generation of Transformation Rules: From AADL to Timed Automata.

Karima Berramla El Abbassia Deba Mohamed El Kamel Abou El Hassen

Published in: NISS (2019)

Keyphrases

transformation rules
timed automata
model checking
theorem prover
metamodel
recursive programs
first order logic
rewrite rules
theorem proving
model driven
test cases
real time systems
knowledge base
databases
relational databases
query optimizer
machine learning