Difference between revisions of "Internship subjects"

From Numerical Transition Systems
Jump to: navigation, search
Line 1: Line 1:
The following internships can be continued with a PhD thesis on already acquired funding:  
+
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: