Login / Signup
Andre Metelo
ORCID
Publication Activity (10 Years)
Years Active: 2018-2018
Publications (10 Years): 2
Top Topics
Cyber Physical
Physical World
Hybrid Automata
Top Venues
ICCSA (1)
CoRR
</>
Publications
</>
Andre Metelo
,
Christiano Braga
,
Diego N. Brandão
Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata.
ICCSA (1)
(2018)
Andre Metelo
,
Christiano Braga
,
Diego N. Brandão
Towards the Modular Specification and Validation of Cyber-Physical Systems.
CoRR
(2018)