Sort by
Refine Your Search
-
memory models. SCIENTIFIC SUPERVISION The work will be supervised by Prof. Susana Cardoso de Freitas. The employees will be integrated into the INESC-MN team in Oeiras and Lisboa. ELIGIBILITY CONDITIONS
Searches related to model checking
Enter an email to receive alerts for model-checking positions