✦ LIBER ✦

Automatic verification of concurrent systems using a formula-based compositional approach

✍ Scribed by Antonella Santone

Publisher: Springer-Verlag
Year: 2002
Tongue: English
Weight: 352 KB
Volume: 38
Category: Article
ISSN: 0001-5903
DOI: 10.1007/s00236-002-0084-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A graph-based approach to the compositio

A graph-based approach to the compositional specification of distributed systems

✍ Manuel Koch 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 247 KB

A knowledge-based approach for high-leve

A knowledge-based approach for high-level programming of concurrent systems

✍ Phillip C-Y. Sheu 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 979 KB

A model checking-based approach for secu

A model checking-based approach for security policy verification of mobile systems

✍ Chiara Braghin; Natasha Sharygina; Katerina Barone-Adesi 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 532 KB

ViVa: A systematic approach to verificat

ViVa: A systematic approach to verification, improvement and validation of knowledge-based systems

✍ Erik Hollnagel 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 569 KB

Design of service systems using a knowle

Design of service systems using a knowledge-based approach

✍ Maya Kaner; Reuven Karni 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 626 KB

## Abstract The service industry makes up an increasingly large proportion of modern economies. Despite the importance and expansion of this sector the topic of new service development, as opposed to new product development, has been largely neglected. One of the crucial steps in new service develo

Improving performance of HMM-based off-l

Improving performance of HMM-based off-line signature verification systems through a multi-hypothesis approach

✍ Luana Batista; Eric Granger; Robert Sabourin 📂 Article 📅 2009 🏛 Springer-Verlag 🌐 English ⚖ 876 KB