-
-source modeling and verification environment based on UML/SysML. This software is used to quickly explore the design space and test different architectural solutions. Finally, LabSoC collaborates with
Searches related to software verification
Enter an email to receive alerts for software-verification positions in france