Browsing by author "Santana Alonso, Alejandro Alejo"
Now showing items 1-2 of 2
-
Formal verification for task description languages. A Petri Net approach
López Fernández, Joaquín
; Santana Alonso, Alejandro Alejo; Diaz Cacho Medina, Miguel Ramon
article
Enxeñaría de sistemas e automática
-
Middleware control systems design and analysis using message interpreted Petri Nets (MIPN)
López Fernández, Joaquín; Santana Alonso, Alejandro Alejo; Pérez Losada, Diego
article
Enxeñaría de sistemas e automática
