1 paper
Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta
In current practice a formal analysis of hybrid system models is assertion-based. The work presented here is based on features that look beyond functional correctness toward a quan…