CITIC - Centro de Investigación de Tecnoloxías da Información e da Comunicación
Centro de Investigación e Campus de Especialización
SRI International
San José, EE. UU.Publicacións en colaboración con investigadores/as de SRI International (2)
2012
-
PVS linear algebra libraries for verification of control software algorithms in C/ACSL
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
2006
-
Message from the chairpersons
Proceedings of 2006 IEEE International Conference on Computational Intelligence for Measurement Systems and Applications, CIMSA 2006