B/hdl, an experiment to formalizing hardware ...

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/124666
Titre :
B/hdl, an experiment to formalizing hardware by software formals specifications
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 :
EDCC4, Fourth European Dependable Computing Conference
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:19:04Z