-
, the weaknesses that have been evoked in the conclusion of most work is the unverified or lack of adaptability of models developed in specific case studies to new environment. Objectives: The PhD research will
Searches related to model checking
Enter an email to receive alerts for model-checking positions