Loading...
Loading...

Go to the content (press return)

Carmona Vargas, Jose

Total activity: 1
Areas of expertise
formal methods, process mining
Professional category
Associate professor
Research group
ALBCOM - Algorithms, Computational Biology, Complexity and Formal Methods
Department
Department of Computer Science
School
Barcelona School of Informatics (FIB)
E-mail
jcarmonacs.upc.edu
Contact details
UPC directory Open in new window
Orcid
0000-0001-9656-254X Open in new window
Scopus Author ID
22333712700 Open in new window
Fill in your details

Scientific and technological production

1 to 1 of 1 results
 
  • Métodos formales y algoritmos para el diseño de sistemas

     Orejas, F.; Xhafa, F.; Godoy, G.; Costa, K.; Oliva, S.; Galceran, M.; Gascon, A.; Gel, B.; Hernandez, H.; Duch, A.; Blum, C.; Edelmira Pasarella; Diaz, J.; Pino, E.; Petit, J.; Alvarez, C.; Blesa, M.; Gabarro, J.; Cortadella, J.; Serna, M.; Carmona, J.
    Competitive project
    Loading...