Bernard Soulas

Publication Activity (10 Years)

Years Active: 1991-1994
Publications (10 Years): 0

Publications

Catherine Bayol, Bernard Soulas, Dominique Borrione, Fulvio Corno, Paolo Prinetto
A process algebra interpretation of a verification oriented overlanguage of VHDL. EURO-DAC (1994)
Paolo Camurati, Fulvio Corno, Paolo Prinetto, Catherine Bayol, Bernard Soulas
System-Level Modeling and Verification: a Comprehensive Design Methodology. EDAC-ETC-EUROASIC (1994)
Françoise Martinolle, Jean Claude Geffroy, Bernard Soulas
Testability analysis of hierarchical finite state machines. EURO-DAC (1991)