✦ LIBER ✦

Verification of duration systems using an approximation approach

✍ Scribed by Riadh Robbana

Publisher: Springer
Year: 2003
Tongue: English
Weight: 897 KB
Volume: 18
Category: Article
ISSN: 1000-9000
DOI: 10.1007/bf02948880

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

An approach to systems verification

✍ William R. Bevier; Warren A. Hunt; J Strother Moore; William D. Young 📂 Article 📅 1989 🏛 Springer Netherlands 🌐 English ⚖ 956 KB

An approach towards the verification of

An approach towards the verification of expert systems using numerical petri nets

✍ N. K. Liu; T. Dillon 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 936 KB

A major difficulty that occurs in the construction of large production rule-based expert systems is maintaining the correctness, consistency, and completeness of the knowledge base. A method of transforming the production rules into a numerical petri nets (NPNs) model is proposed. These NPNs are hig

Symbolic approximation: an approach to v

Symbolic approximation: an approach to verification in the large

✍ Peter T. Breuer; Simon Pickin 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 580 KB

Integrated Biometric Verification System

Integrated Biometric Verification System Using Soft Computing Approach

✍ A. Wahab; G. S. Ng; A. Jonatan 📂 Article 📅 2007 🏛 Springer US 🌐 English ⚖ 616 KB

An approach to the dynamic verification

An approach to the dynamic verification of knowledge-based systems

✍ Keinosuke Matsumoto; Tomihiro Takano 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 623 KB

An Approach to the Verification of Symme

An Approach to the Verification of Symmetric Parameterized Distributed Systems

✍ I. V. Konnov; V. A. Zakharov 📂 Article 📅 2005 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 153 KB