Formalization of digital circuits using ...

Document type :
Direction scientifique d'une publication (ouvrage, numéro spécial de revue, proceedings): Proceedings
Permalink :
http://hdl.handle.net/20.500.12210/124663
Title :
Formalization of digital circuits using the B method
Author(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]
Conference title :
CompRail VIII, Eighth International Conference on Computer Aided Design, Manufacture and Operation in the Railway and Other Advanced Mass Transit Systems
Publication date :
2002
HAL domain(s) :
Informatique [cs]
Language :
Anglais
Audience :
Internationale
Collections :
Source :
Harvested from HAL
Submission date :
2025-02-26T08:18:44Z