Les installations classées pour la protection de l'environnement : classement, régimes juridiques et contentieux des ICPE

von Deharbe, David
Veröffentlicht 2007

Symbolic model checking of VHDL design entities

von Déharbe, David
Veröffentlicht 1993

Design error diagnosis in logic circuits using ternary test sets

von Wahba, Ayman
Veröffentlicht 1993

Assigning Safe Executed Systems to Meanings

von Burdy, Lilian
Veröffentlicht in RSSRAIL (4. : 2022 : Paris) Reliability, safety, and security of railway systems (2022)

Existence Proof Obligations for Constraints, Properties and Invariants in Atelier B

von Barradas, Héctor Ruíz
Veröffentlicht in ABZ (Veranstaltung : 7. : 2020 : Ulm) Rigorous state-based methods (2020)

Theoretical aspects of computing - ICTAC 2010 : 7th international colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010 ; proceedings

Veröffentlicht 2010