E. Cerny

Conceptual alignment of electronic health record data with guideline and workflow knowledge

VLSI Test Principles and Architectures: Design for Testability

Survey of Test Vector Compression Techniques

Diagnosability of discrete-event systems

The control of discrete event systems

Principles and methods of testing finite state machines-a survey

Costs and Benefits of Health Information Technology

A Test Design Methodology for Protocol Testing

Solving linear, min and max constraint systems using CLP based on relational interval arithmetic

Testability analysis and test-point insertion in RTL VHDL specifications for scan-based BIST

An algebraic model for asynchronous circuits verification