Sort by
Refine Your Search
-
of the Research School will be anchored in a robust thesis advisory committee (TAC) model, designed to provide comprehensive support and guidance to PhD students throughout their research journey. Each student will
-
research questions from several fields such as software and domain engineering, system modelling and analysis, application adaptability and integration, human computer interaction, security, and
Searches related to model checking
Enter an email to receive alerts for model-checking positions