File:Slides.pdf

This is the slides for the seminar talk "Hybrid Constraint Automata: A Semantic Model for Cyber-Physical Components" held on 15 Oct. 2014 in Bimingham City University.