Biblio

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: Author is Gallois, Jean-Pierre  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
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.