-
-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 postdoc
Enter an email to receive alerts for software-verification-postdoc positions in france