✦ LIBER ✦

A method to test concurrent systems using architectural specification

✍ Scribed by Hassan Reza; Emanuel S. Grant

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A directed search method for test genera

✍ Agrawal, V.D.; Kwang-Ting Cheng; Agrawal, P. 📂 Article 📅 1989 🏛 IEEE 🌐 English ⚖ 852 KB

A Systematic Approach to the Petri Net B

✍ Antonino Mazzeo; Nicola Mazzocca; Stefano Russo; Valeria Vittorini 📂 Article 📅 1997 🏛 Springer US 🌐 English ⚖ 252 KB

Experience with Applying Formal Methods

✍ Mani Azimi; Ching-Tsun Chou; Akhilesh Kumar; Victor W. Lee; Phamndra K. Mannava; 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 71 KB

A method to estimate denitrification pot

✍ Katarzyna Kujawa; Bram Klapwijk 📂 Article 📅 1999 🏛 IWA Publishing 🌐 English ⚖ 239 KB

System design of a CC-NUMA multiprocesso

✍ Hubert Garavel; César Viho; Massimo Zendri 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 324 KB

A distributed computing system used for

✍ P. Carlsson; M. Tinnsten 📂 Article 📅 2003 🏛 Springer-Verlag 🌐 English ⚖ 649 KB