Cited By
View all- Hu KDuan ZWang JGao LShang L(2019)Template-based AADL automatic code generationFrontiers of Computer Science: Selected Publications from Chinese Universities10.1007/s11704-017-6477-y13:4(698-714)Online publication date: 1-Aug-2019
- Hu KZhang TYang ZTsai W(2015)Exploring AADL verification tool through model transformationJournal of Systems Architecture: the EUROMICRO Journal10.1016/j.sysarc.2015.02.00361:3(141-156)Online publication date: 1-Mar-2015
- Goknil AKurtev IVan Den Berg K(2014)Generation and validation of traces between requirements and architecture based on formal trace semanticsJournal of Systems and Software10.5555/2747015.274718188:C(112-137)Online publication date: 1-Feb-2014