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
 
  • A general framework for precision checking

     Munoz-Gama, J.; Carmona, J.
    International journal of innovative computing information and control
    Vol. 8, num. 7B, p. 5317-5339
    Date of publication: 2012-07
    Journal article
    Loading...