José Santiago
Jorge Castro
Profesor Permanente Laboral
Laura Milagros
Castro Souto
Profesora Titular de Universidade
Publicacións nas que colabora con Laura Milagros Castro Souto (6)
2008
-
Managing the risks of risk management
Journal of Decision Systems, Vol. 17, Núm. 4, pp. 501-521
-
Using Coq to prove properties of the cache level of a functional video-on-demand server
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2007
-
Adaptación al espacio europeo de educación superior de la asignatura de "algoritmos" en la facultad de informática de la universidad de a Coruña
El espacio europeo de educación superior. Una oportunidad para las enseñanzas técnicas: actas del congreso. [Recurso electrónico]. Zamora 19, 20, 21 y 22 de junio de 2007
-
Certificación de propiedades usando distintos probadores de teoremas: un caso de estudio
VI Jornadas Iberoamericanas de Ingenieria de Software e Ingenieria del Conocimiento 2007, JIISIC 2007
-
Erlang/OTP framework for complex management applications development
Webist 2007 - 3rd International Conference on Web Information Systems and Technologies, Proceedings
-
Verification of program properties using different theorem provers: A case study
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)