Difference between revisions of "Internship subjects"
From Numerical Transition Systems
Radu iosif (Talk | contribs) |
Radu iosif (Talk | contribs) |
||
| Line 1: | Line 1: | ||
| − | The following internships can be continued | + | The following internships can be continued by a PhD thesis: |
* [http://nts.imag.fr/images/8/85/ArchitectureSeparationLogic.pdf Local Reasoning about Reconfigurable Component-based Systems] (Master level, 6 months) | * [http://nts.imag.fr/images/8/85/ArchitectureSeparationLogic.pdf Local Reasoning about Reconfigurable Component-based Systems] (Master level, 6 months) | ||
* [http://nts.imag.fr/images/5/5e/InfiniteAlphabetAutomata.pdf Verifying Concurrent Systems with Automata over Infinite Alphabets] (Master level, 6 months) | * [http://nts.imag.fr/images/5/5e/InfiniteAlphabetAutomata.pdf Verifying Concurrent Systems with Automata over Infinite Alphabets] (Master level, 6 months) | ||
Revision as of 13:47, 25 November 2019
The following internships can be continued by a PhD thesis:
- Local Reasoning about Reconfigurable Component-based Systems (Master level, 6 months)
- Verifying Concurrent Systems with Automata over Infinite Alphabets (Master level, 6 months)
