✦ LIBER ✦

An approach to sequential circuit diagnosis based on formal verification techniques

✍ Scribed by G. Cabodi; P. Camurati; F. Corno; P. Prinetto; M. Sonza Reorda

Publisher: Springer US
Year: 1993
Tongue: English
Weight: 631 KB
Volume: 4
Category: Article
ISSN: 0923-8174
DOI: 10.1007/bf00971936

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated code generation of dynamic spe

Automated code generation of dynamic specializations: an approach based on design patterns and formal techniques

✍ Vicente Pelechano; Oscar Pastor; Emilio Insfrán 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 453 KB

In this work, we present an automatic code generation process from conceptual models. This process incorporates the use of design patterns in OO-Method, an automated software production method, which is built on a formal object-oriented model called OASIS. Our approach defines a precise mapping betw

A New Approach to Single Event Effect To

A New Approach to Single Event Effect Tolerance Based on Asynchronous Circuit Technique

✍ Rui Gong; Wei Chen; Fang Liu; Kui Dai; Zhiying Wang 📂 Article 📅 2008 🏛 Springer US 🌐 English ⚖ 227 KB

A time-accurate pseudo-compressibility a

A time-accurate pseudo-compressibility approach based on an unstructured hybrid finite volume technique applied to unsteady turbulent premixed flame propagation

✍ Wladimyr M. C. Dourado; Pascal Bruel; João L. F. Azevedo 📂 Article 📅 2004 🏛 John Wiley and Sons 🌐 English ⚖ 502 KB