Cadena: An Integrated Environment for Developing HighAssurance Componentbased Systems
https://powershow.com/view/6b603-NmJkM/Cadena_An_Integrated_Environment_for_Developing_HighAssurance_Componentbased_Systems
Icons create by Freepik from www.flaticon.com/
