CHECK-IT. Nuevas Extensiones para el uso de Técnicas Formales de Modelado, Verificación, Síntesis y Optimización de Sistemas Empotrados y de Comuncaciones Móviles: Aplicación a la Certificación de Protocolos LTE

GISUM

CHECK-IT. Nuevas Extensiones para el uso de Técnicas Formales de Modelado, Verificación, Síntesis y Optimización de Sistemas Empotrados y de Comuncaciones Móviles: Aplicación a la Certificación de Protocolos LTE
Entidad Financiera: Financiación: pública Ámbito: regional Investigadores Responsables: Dr. María del Mar Gallardo Melgarejo Fecha de Comienzo: 1/1/2012 Fecha de Fin: 12/31/2014 Num. de participantes: 0 Participantes: Cuantía: 144,928.00 € Referencia: P11-TIC-07659