scientific article; zbMATH DE number 177269

MaRDI QIDQ4037129zbMATH OpenFDO

Authors Michel Langevin

Publication date 18 May 1993

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Fault detection; testing in circuits and networks (94C12)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4037129)