AADL-based Modeling and TPN-based Verification of Reconfiguration in Integrated Modular Avionics.

Dajiang Suo Jinxia An Jihong Zhu

Published in: APSEC (2011)

Keyphrases

databases
neural network
multiscale
complex systems
modeling method
artificial intelligence
search engine
expert systems
modeling language
functional verification