✦ LIBER ✦

Verification of the legOS Scheduler using Uppaal

✍ Scribed by Lone Halkjaer; Karen Haervi; Anna Ingolfsdottir

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic Verification of a Lip-Synchron

✍ H. Bowman; G. Faconti; J.-P. Katoen; D. Latella; M. Massink 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 184 KB

Mechanical verification of the IEEE 1394

✍ David P.L. Simons; Mariëlle I.A. Stoelinga 📂 Article 📅 2001 🏛 Springer 🌐 English ⚖ 331 KB

Automated verification of the VLSI desig

✍ M.A. Ward 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 134 KB

Verification of vocal cord function usin

✍ Chika Kikuchi; Akihiro Suzuki; Hiroshi Iwasaki 📂 Article 📅 2007 🏛 Springer-Verlag 🌐 French ⚖ 99 KB

Verification of the Lagrangian particle

✍ K.S. Suh; H.J. Jeong; E.H. Kim; W.T. Hwang; M.H. Han 📂 Article 📅 2006 🏛 Elsevier Science 🌐 English ⚖ 532 KB

Use of ion chromatography for the verifi

✍ Lisa A. Kaine; Douglas T. Heitkemper; David S. Jackson; Karen A. Wolnik 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 512 KB