Internship subjects
From Numerical Transition Systems
Revision as of 13:44, 25 November 2019 by Radu iosif (Talk | contribs) (Created page with "The following internships can be continued with a PhD thesis on already acquired funding: * Local Reasoning about Reconfigurable Component-based Systems (Master level, 6 mon...")
The following internships can be continued with a PhD thesis on already acquired funding:
- Local Reasoning about Reconfigurable Component-based Systems (Master level, 6 months)
- Verifying Concurrent Systems with Automata over Infinite Alphabets (Master level, 6 months)
