Login / Signup
João Carlos Menezes de Magalhães
Publication Activity (10 Years)
Years Active: 2015-2015
Publications (10 Years): 0
2025
2016
Top Topics
2025
2016
Frequency Modulation
2025
2016
Formal Verification
2025
2016
Model Checking
2025
2016
Medical Records
Top Venues
HEALTHINF
</>
Publications
</>
João Carlos Menezes de Magalhães
,
Ricardo João Cruz Correia
Modulation of Existent Obstetrics EHRs to the openEHR Specification.
HEALTHINF
(2015)