✦ LIBER ✦

Specification and Validation of Embedded Systems using LUSTRE and ARGOS. Case Study: The Automatic Headlight Leveling System

✍ Scribed by Rainer Gmehlich

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Task level specification and formal veri

✍ Kapellos, K.; Simon, D.; Jourdant, M.; Espiau, B. 📂 Article 📅 1999 🏛 Taylor and Francis Group 🌐 English ⚖ 618 KB

Feasibility and validity were demonstrat

✍ Timothy McAlindon; Jun Wang; Margaret Formica; Ashley Kay; Hocine Tighiouart; Ch 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 209 KB

The (limited) use of local-level assessm

✍ Leanne M. Kallemeyn; Lizanne DeStefano 📂 Article 📅 2009 🏛 Elsevier Science 🌐 English ⚖ 264 KB

Using remote sensing data for water depl

✍ Yann Chemin; Alexander Platonov; Mehmood Ul-Hassan; Iskandar Abdullaev 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 355 KB