Bernard Soulas

According to our database, Bernard Soulas authored at least 3 papers between 1991 and 1994.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

1994

System-Level Modeling and Verification: a Comprehensive Design Methodology.

Paolo Camurati, Fulvio Corno, Paolo Prinetto, Catherine Bayol, Bernard Soulas

Proceedings of the EDAC - The European Conference on Design Automation, ETC - European Test Conference, EUROASIC - The European Event in ASIC Design, Proceedings, February 28, 1994

A process algebra interpretation of a verification oriented overlanguage of VHDL.

Catherine Bayol, Bernard Soulas, Dominique Borrione, Fulvio Corno, Paolo Prinetto

Proceedings of the Proceedings EURO-DAC'94, 1994

1991

Testability analysis of hierarchical finite state machines.

Françoise Martinolle, Jean Claude Geffroy, Bernard Soulas

Proceedings of the conference on European design automation, 1991