scientific article
From MaRDI portal
Publication:4037095
zbMath0800.94299MaRDI QIDQ4037095
Randal E. Bryant, Carl-Johan H. Seger
Publication date: 18 May 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Fault detection; testing in circuits and networks (94C12) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (2)
A two-level formal verification methodology using HOL and COSMOS ⋮ A formal framework for verification of embedded custom memories of the Motorola MPC7450 microprocessor
This page was built for publication:
