Difference between revisions of "Internship subjects"
From Numerical Transition Systems
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...") |
Radu iosif (Talk | contribs) |
||
| Line 1: | Line 1: | ||
The following internships can be continued with a PhD thesis on already acquired funding: | 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) | + | * [Local Reasoning about Reconfigurable Component-based Systems] (Master level, 6 months) |
| − | * Verifying Concurrent Systems with Automata over Infinite Alphabets (Master level, 6 months) | + | * [Verifying Concurrent Systems with Automata over Infinite Alphabets] (Master level, 6 months) |
Revision as of 13:45, 25 November 2019
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)
