Observatorio de I+D+i UPM

Memorias de investigación
Ponencias en congresos:
Modeling Concurrent Systems with Shared Resources
Año:2009
Áreas de investigación
  • Lenguaje de programación
Datos
Descripción
Articulo en congreso internacional
Internacional
Si
Nombre congreso
ternational Workshop on Formal Methods for Industrial Critical Systems
Tipo de participación
960
Lugar del congreso
Eindhoven, Holanda
Revisores
Si
ISBN o ISSN
978-3-642-04569-1
DOI
10.1007/978-3-642-04570-7_9
Fecha inicio congreso
02/11/2009
Fecha fin congreso
03/11/2009
Desde la página
102
Hasta la página
116
Título de las actas
14th International Workshop on Formal Methods for Industrial Critical Systems
Esta actividad pertenece a memorias de investigación
Participantes
  • Autor: Manuel Carro Liñares (UPM)
Grupos de investigación, Departamentos, Centros e Institutos de I+D+i relacionados
  • Creador: Grupo de Investigación: Computación lógica, Lenguajes, Implementación y Paralelismo (CLIP)
  • Departamento: Lenguajes y Sistemas Informáticos e Ingeniería de Software
S2i 2021 Observatorio de investigación @ UPM con la colaboración del Consejo Social UPM
Cofinanciación del MINECO en el marco del Programa INNCIDE 2011 (OTR-2011-0236)
Cofinanciación del MINECO en el marco del Programa INNPACTO (IPT-020000-2010-22)