The Formal Transformation of AADL Based on Z-CoIA.

Fugao Zhang Zining Cao

Published in: ICCCS (2) (2017)

Keyphrases

machine learning
formal model
formal language
video sequences
test cases
databases
genetic algorithm
learning environment
mobile robot
knowledge management
formal specification
formal methods
operational semantics