Sort by
Refine Your Search
-
concurrent systems (the ReCiPe formalism, the R-CHECK Model-Checker, and the SynTM synthesis engine). Concrete tasks may involve (but not limited to) further developing existing theories and tools, developing
Searches related to concrete phd
Enter an email to receive alerts for concrete-phd positions