Andre Metelo

According to our database¹, Andre Metelo authored at least 2 papers in 2018.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2018

Towards the Modular Specification and Validation of Cyber-Physical Systems.

[BibT_eX]

[DOI]

CoRR, 2018

Towards the Modular Specification and Validation of Cyber-Physical Systems - A Case-Study on Reservoir Modeling with Hybrid Automata.

[BibT_eX]

[DOI]

Proceedings of the Computational Science and Its Applications - ICCSA 2018, 2018