Sort by
Refine Your Search
-
Category
-
Country
-
Field
-
the research priorities and strengths of the ADRC NI, CPH and SMDBS. Evidence of developing research methodologies, models, approaches and techniques that will advance the research goals of ADRC NI, CPH and
-
Prof. Ian Manchester and Prof Gregor Verbic, in collaboration with Pro.f Ben Thornber (Queens University Belfast, UK) and Prof. Dr Harald K stler (Friedrich Alexander University of Erlangen, Germany) on
Searches related to model checking
Enter an email to receive alerts for model-checking "Queen's University" positions