Xavier Briand

Publication Activity (10 Years)

Years Active: 2005-2010
Publications (10 Years): 0

Publications

Xavier Briand, Bertrand Jeannet
Combining Control and Data Abstraction in the Verification of Hybrid Systems. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 29 (10) (2010)
Xavier Briand, Bertrand Jeannet
Combining control and data abstraction in the verification of hybrid systems. MEMOCODE (2009)
André Arnold, Xavier Briand, Gérald Point, Aymeric Vincent
A generic approach to the control of discrete event systems. CDC/ECC (2005)