Formalization of digital circuits using the B method - Archive ouverte HAL Accéder directement au contenu
Proceedings/Recueil Des Communications Année : 2002
Fichier non déposé

Dates et versions

hal-04490909 , version 1 (05-03-2024)

Identifiants

  • HAL Id : hal-04490909 , version 1

Citer

Jean--Louis Boulanger, Ammar Aljer, Georges Mariano. Formalization of digital circuits using the B method. CompRail VIII, Eighth International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Mass Transit Systems, 2002. ⟨hal-04490909⟩
3 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More