Sort by
Refine Your Search
-
models can be designed and deployed efficiently on constrained hardware platforms while supporting the reliability and security requirements of cyber-physical energy systems. Tasks The PhD student will
-
90 are PhD students, and about 40 % of all employees are internationals. In total, it has more than 600 students in its BSc and MSc programs, which are based on AAU's problem-based learning model
Searches related to model checking
Enter an email to receive alerts for model-checking positions