Hazard algebras
From MaRDI portal
Publication:1878906
DOI10.1023/A:1026218512171zbMath1073.68883OpenAlexW2913086526MaRDI QIDQ1878906
Zoltán Ésik, Janusz A. Brzozowski
Publication date: 9 September 2004
Published in: Formal Methods in System Design (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1023/a:1026218512171
Fault detection; testing in circuits and networks (94C12) Mathematical problems of computer architecture (68M07)
Related Items (3)
ON THE COMPLEXITY OF THE EVALUATION OF TRANSIENT EXTENSIONS OF BOOLEAN FUNCTIONS ⋮ Gate circuits in the algebra of transients ⋮ COVERING OF TRANSIENT SIMULATION OF FEEDBACK-FREE CIRCUITS BY BINARY ANALYSIS
This page was built for publication: Hazard algebras
