Login / Signup
Miguel Díaz-Cacho Medina
ORCID
Publication Activity (10 Years)
Years Active: 2019-2019
Publications (10 Years): 1
Top Topics
Low Cost
Autism Spectrum Disorder
Electronic Health Record
Top Venues
Sensors (Basel, Switzerland)
</>
This page only lists publications with an associated author ORCID identifier.
Publications
</>
Joaquín López
,
Alejandro Santana-Alonso
,
Miguel Díaz-Cacho Medina
Formal Verification for Task Description Languages. A Petri Net Approach.
Sensors (Basel, Switzerland)
19 (22) (2019)