scientific article
From MaRDI portal
Publication:4037096
zbMath0765.94024MaRDI QIDQ4037096
Mark B. Josephs, Jan Tijmen Udding
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
process algebradelay-insensitive circuitsstate-graph and production-rule based methodsverification of designsvoltage-level transitions
Fault detection; testing in circuits and networks (94C12) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
An exercise in the automatic verification of asynchronous designs ⋮ Receptive process theory ⋮ Delay-insensitivity and ternary simulation
