Formal Validation of Software for Nano Satellite Missions
Article in Revista Abierta de Informática Aplicada (June 2023)
The most recent citing publications are shown below. View all 10 publications that cite this research output on Dimensions.
Article in Revista Abierta de Informática Aplicada (June 2023)
Book chapter (May 2023)
Article in Information and Software Technology (February 2023)