Formal Feature Interpretation of Hybrid Systems

Antonio Anastasio Bruto da Costa, Goran Frehse, Pallab Dasgupta. Formal Feature Interpretation of Hybrid Systems. IEEE Trans. on CAD of Integrated Circuits and Systems, 37(11):2474-2484, 2018. [doi]

Authors

Antonio Anastasio Bruto da Costa

This author has not been identified. Look up 'Antonio Anastasio Bruto da Costa' in Google

Goran Frehse

This author has not been identified. Look up 'Goran Frehse' in Google

Pallab Dasgupta

This author has not been identified. Look up 'Pallab Dasgupta' in Google