Formalization of digital circuits using the B method - Archive ouverte HAL
Proceedings/Recueil Des Communications Année : 2002

Formalization of digital circuits using the B method

Domaines

Informatique [cs]

ammar Aljer  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-04490909

Soumis le : mardi 5 mars 2024-16:59:30

Dernière modification le : mardi 17 septembre 2024-16:01:51

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UNIV-ARTOIS IFSTTAR UNIV-LILLE LGCGE IMT-NORD-EUROPE UNIV-EIFFEL INSTITUT-MINES-TELECOM
6 Consultations
0 Téléchargements

Partager

More