Mechanization of a Large DSML: An Experiment with AADL and Coq
Conference proceeding (October 2022)
The most recent citing publications are shown below. View all 6 publications that cite this research output on Dimensions.
Conference proceeding (October 2022)
Article in Software and Systems Modeling (May 2022)
Book chapter (May 2021)