Exploring AADL verification tool through model transformation

Kai Hu, Teng Zhang, Zhibin Yang, Wei-Tek Tsai. Exploring AADL verification tool through model transformation. Journal of Systems Architecture, 61(3-4):141-156, 2015. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.