Biblio

Export 2 results:
Author [ Title(Desc)] Type Year
Filters: First Letter Of Title is A and 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.