Formalization of digital circuits using ...

Type de document :
Direction scientifique d'une publication (ouvrage, numéro spécial de revue, proceedings): Proceedings
URL permanente :
http://hdl.handle.net/20.500.12210/124663
Titre :
Formalization of digital circuits using the B method
Auteur(s) :
Boulanger, Jean--Louis [Directeur de publication]
Aljer, Ammar [Directeur de publication] refId
Laboratoire de Génie Civil et Géo-Environnement (LGCgE) - ULR 4515 [LGCgE]
Université de Lille
Mariano, Georges [Directeur de publication]
Évaluation des Systèmes de Transports Automatisés et de leur Sécurité [INRETS/ESTAS]
Titre de la manifestation scientifique :
CompRail VIII, Eighth International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Mass Transit Systems
Date de publication :
2002
Discipline(s) HAL :
Informatique [cs]
Langue :
Anglais
Audience :
Internationale
Collections :
Source :
Harvested from HAL
Date de dépôt :
2025-02-26T08:18:44Z