View of Formal Verification and Compliance Release Control of Cloud-Native Avionics OTA Pipeline Based on GitOps

Return to Article Details Formal Verification and Compliance Release Control of Cloud-Native Avionics OTA Pipeline Based on GitOps Download Download PDF