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

Andre Metelo, Christiano Braga, Diego N. Brando

Browse the full ICCSA paper archive.