Sort by
Refine Your Search
-
://lnu.se/eres ), led by Professor Mauro Caporuscio. EReS focuses on investigating (and experimenting with) methods, techniques, and tools for architecting, modeling, developing, analyzing, and operating
Searches related to model checking
Enter an email to receive alerts for model-checking positions