Biblio

Export 2 results:
Author Title Type [ Year(Asc)]
Filters: Author is Gallois, Jean-Pierre  [Clear All Filters]
2018
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., “Abstractions refinement for hybrid systems diagnosability analysis”, in Diagnosability, Security and Safety of Hybrid Dynamic and Cyber-Physical Systems, Springer, 2018.
H. Zaatiti, Ye, L., Dague, P., and Gallois, J. - P., “Automating Abstraction Computations of Hybrid Systems”, in CICM 2018 - 11th Conference on Intelligent Computer Mathematics ; Workshop FVPS 2018 - Formal Verification of Physical Systems, Hagenberg, Austria, 2018.