Descripción
|
|
---|---|
Realización investigación predoctoral en el departamento "Algebraic and Logic Foundations of Computer Science" en la facultad de informática de Technische Universität Dresden. El tema de investigación se enmarca en el área de Model Checking, más concretamente en el desarrollo de técnicas para la aplicación de reducciones de orden parcial en sistemas probabilístico. | |
Internacional
|
Si |
Lugar
|
Dresden |
Tipo
|
Miembros en el extranjero |
Fecha inicio
|
04/10/2010 |
Fecha fin
|
02/01/2011 |