Sort by
Refine Your Search
-
post-doc in the field of formal methods at Irisa. The research project will focus on formal verification and testing of real-time systems using timed automata and techniques from game theory
-
their interactions with tissues and PSs; iii) formalize and implement a method for optimizing the delivered dose (source distribution); iii) study the sensitivity of non-invasive probing
Searches related to formal methods
Enter an email to receive alerts for formal-methods positions