EEBB-I-12-05829
Financiado
TECNICAS FORMALES DE ANALISIS Y DISEÑO DE SISTEMAS DE EVENTOS DISCRETOS E HIBRID...
TECNICAS FORMALES DE ANALISIS Y DISEÑO DE SISTEMAS DE EVENTOS DISCRETOS E HIBRIDOS. APLICACION A SISTEMAS LOGISTICOS Y DE TIEMPO REAL
ver más
01/01/2011
UNIZAR
3K€
Presupuesto del proyecto: 3K€
Líder del proyecto
UNIVERSIDAD DE ZARAGOZA. OFICINA DE TRANSFERE...
No se ha especificado una descripción o un objeto social para esta compañía.
Sin perfil tecnológico
Sin perfil tecnológico
Financiación
concedida
El organismo AGENCIA ESTATAL DE INVESTIGACIÓN notifico la concesión del proyecto
el día 2011-01-01
No tenemos la información de la convocatoria
Conecta tu I+D
¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video
Proyectos interesantes
EEBB-I-12-05828
TECNICAS FORMALES DE ANALISIS Y DISEÑO DE SISTEMAS DE EVENTO...
5K€
Cerrado
BES-2011-047015
ANALISIS Y CONTROL DE GRANDES SISTEMAS DE EVENTOS DISCRETOS...
41K€
Cerrado
CHORDS
Compositional Higher-Order Reasoning about Distributed Syste...
2M€
Cerrado
PID2021-122830OB-C41
METODOS FORMALES ESCALABLES PARA APLICACIONES EN ENTORNOS RE...
178K€
Cerrado
BES-2011-047266
INTEROPERABILIDAD SEMANTICA ENTRE SISTEMAS
43K€
Cerrado
AVS-ISS
Analysis Verification and Synthesis for Infinite State Sys...
2M€
Cerrado