✦ LIBER ✦

Towards Deriving Test Sequences by Model Checking

✍ Scribed by Adilson Luiz Bonifácio; Arnaldo Vieira Moura; Adenilso da Silva Simão; José Carlos Maldonado

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Test sequence generation and model check

✍ Sérgio Campos; Orna Grumberg; Karen Yorav; Copty Fady 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 250 KB

Towards a driver fatigue test based on t

✍ Leandro L. Di Stasi; Rebekka Renner; Andrés Catena; José J. Cañas; Boris M. Veli 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 363 KB

Promotion of fibroblast adhesion by trip

✍ B. Grab; A.J. Miles; L.T. Furcht; G.B. Fields 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 93 KB

VIP-derived sequences modified by N-term

✍ Ruth Granoth; Mati Fridkin; Sara Rubinraut; Illana Gozes 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 360 KB

Model and calculation of rate constants

✍ E. A. Gastilovich; L. V. Volkova; V. G. Klimenko 📂 Article 📅 2010 🏛 SP MAIK Nauka/Interperiodica 🌐 English ⚖ 438 KB

TASTE DISCRIMINATION BY THE 3-AFC METHOD

✍ JEAN-MARC DESSIRIER; JEAN-MARC SIEFFERMANN; MICHAEL O'MAHONY 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 788 KB