Sort by
Refine Your Search
-
insights into the various theoretical models and analytical methods used across these research areas, as well as the ability to work with the databases under development. The aim of the center is to
-
the interdisciplinary development of the field. A central goal for the center is to train a new generation of students and doctoral candidates with skills and insights into the various theoretical models and analytical
Searches related to model checking
Enter an email to receive alerts for model-checking positions