ForFET: A Formal Feature Evaluation Tool for Hybrid Systems.

Antonio Anastasio Bruto da Costa, Pallab Dasgupta

Browse the full ATVA paper archive.