A framework for embedded software portability and verification: from formal models to low-level code
Article in Software and Systems Modeling (February 2024)
The most recent citing publications are shown below. View all 12 publications that cite this research output on Dimensions.
Article in Software and Systems Modeling (February 2024)
Conference proceeding (April 2022)
Book chapter (December 2021)