Enabling Software Technologies for Critical COTS-based Spacecraft Systems

Publication
Proceedings of 20th ACM International Conference on Computing Frontiers (CF'23)