✦ LIBER ✦

A design concept for verified concurrent controllers

✍ Scribed by M. Schäfer; G. Klein-Hessling

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A method for verifying concurrent Java c

✍ Brad Long; Paul Strooper; Luke Wildman 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 204 KB

Product performance as a unifying theme

✍ Steven H. Kim 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 500 KB

Concept design of a control system for t

✍ T. Sasaki; Y. Chikada; R. Ogasawara; S. Ichikawa; W. Tanaka; T. Noguchi; K. Okit 📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 286 KB

A concurrency control model for PDM syst

✍ Edmond Chan; K.M. Yu 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 772 KB

A concurrency control scheme for nested

✍ D.C. Shin; S.C. Moon 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 569 KB

Design of procedural controllers for che

✍ A. Sanchez; S. Macchietto 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 583 KB