Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Marco Bozzano
The Mechanical Generation of Fault Trees for Reactive Systems via Retrenchment I: Combinational Circuits
Formal Aspects of Computing
Theoretical Computer Science
Software
Related publications
Functional Fault Equivalence and Diagnostic Test Generation in Combinational Logic Circuits Using Conventional ATPG
Journal of Electronic Testing: Theory and Applications (JETTA)
Electronic Engineering
Electrical
Fourier Analysis-Based Automatic Test Pattern Generation for Combinational Circuits
Reducibility of Sequential Test Generation to Combinational Test Generation for Several Delay Fault Models
On the Use of Evolutionary Programming for Combinational Logic Circuits Design
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Fault Trees for Decision Making in Systems Analysis
From Probabilistic Counterexamples via Causality to Fault Trees
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
IDDQDetectable Bridges in Combinational CMOS Circuits
VLSI Design
Electronic Engineering
Computer Graphics
Hardware
Electrical
Architecture
Computer-Aided Design
Circuit of the Functional Control for Combinational Circuits Based on R-Code
Problems of advanced micro- and nanoelectronic systems development
Fault Residual Generation via Nonlinear Analytical Redundancy
IEEE Transactions on Control Systems Technology
Control
Systems Engineering
Electrical
Electronic Engineering