✦ LIBER ✦

A survey of timed automata for the development of real-time systems

✍ Scribed by Waez, Md Tawhid Bin; Dingel, Juergen; Rudie, Karen

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A survey of lead-time challenges in the

✍ L Bratthall; P Runeson; K Adelswärd; W Eriksson 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 179 KB

A property of real-time trellis automata

✍ Sheng Yu 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 110 KB

Verifying automata specification of dist

✍ Tiegeng Luo; Huowang Chen; Bingshan Wang; Ji Wang; Zhenghu Gong; Zhichang Qi 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 595 KB

A survey of hard real-time scheduling fo

✍ Davis, Robert I.; Burns, Alan 📂 Article 📅 2011 🏛 Association for Computing Machinery 🌐 English ⚖ 401 KB

A real-time recognition of languages for

✍ Hiromi Miyajima 📂 Article 📅 1989 🏛 John Wiley and Sons 🌐 English ⚖ 801 KB

A note on the verification of automata s

✍ Arnaldo V. Moura; Guilherme A. Pinto 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 95 KB