Técnicas formales de análisis y diseño de sistemas de eventos discretos e híbridos. Aplicación a sistemas logísticos y de tiempo real.

Code: 
DPI2006-15390
Responsible researcher: 
Manuel Silva
Period: 
10/2006 - 09/2009