-
at Mathematics II (1EC109 ou 1GE109). 4. Work Plan: 4.1. The purpose of this contract is to perform the following tasks: Qualitative analysis of the dynamics exhibited by models of cooperation and/or coordination
Searches related to model checking
Enter an email to receive alerts for model-checking positions