✦ LIBER ✦

A comparative study of formal verification techniques for software architecture specifications

✍ Scribed by Jeffrey J.P. Tsai; Kuang Xu

Book ID: 110380138
Publisher: Springer
Year: 2000
Tongue: English
Weight: 103 KB
Volume: 10
Category: Article
ISSN: 1022-7091
DOI: 10.1023/a:1018960305057

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A comparison of tools for teaching forma

A comparison of tools for teaching formal software verification

✍ Ingo Feinerer; Gernot Salzer 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 194 KB

Formal Verification of a Partial-Order R

Formal Verification of a Partial-Order Reduction Technique for Model Checking

✍ Ching-Tsun Chou; Doron Peled 📂 Article 📅 1999 🏛 Springer Netherlands 🌐 English ⚖ 147 KB

Comparative study using scanning electro

Comparative study using scanning electron techniques for imaging of micro-architecture and antigen appearance

✍ R. SOCHER; D. BENAYAHU 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 349 KB

Tools for producing formal specification

Tools for producing formal specifications: a view of current architectures and future directions

✍ Sunil Vadera; Farid Meziane 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 139 KB

A comparative study of combining multipl

A comparative study of combining multiple enrolled samples for fingerprint verification

✍ Chunyu Yang; Jie Zhou 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 903 KB

A comparative study of protein immobiliz

A comparative study of protein immobilization techniques for optical immunosensors

✍ A. Ahluwalia; D. De Rossi; C. Ristori; A. Schirone; G. Serra 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 856 KB

This paper presents the results of a study of a number of antibody immobilization techniques for application to optical immunosensors. In particular, well-known methods such as covalent binding and physical adsorption have been extended to the Langmiur-Blodgett method in an attempt to improve the de