Bachir Berkane

According to our database, Bachir Berkane authored at least 3 papers between 1992 and 1993.

Collaborative distances:

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

1993

A Unified Framework for Describing and Verifying Hardware Synchronous Sequential Systems.

Ghislaine Thuau, Bachir Berkane

Formal Methods Syst. Des., 1993

1992

Vérification des systèmes matériels numériques séquentiels synchrones : application du langage Lustre et de l'outil de vérification Lesar. (Verification of synchronous sequential digital hardware systems. Application of the langage Lustre and the verification tool Lesar).

Bachir Berkane

PhD thesis, 1992

Using the Language Lustre for Sequential Circuit Verification.

Ghislaine Thuau, Bachir Berkane

Proceedings of the Designing Correct Circuits, 1992