✦ LIBER ✦

Deriving real-time action systems in a sampling logic

✍ Scribed by Dongol, Brijesh; Hayes, Ian J.

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Deriving real-time action systems with m

✍ Dongol, Brijesh; Hayes, Ian J.; Derrick, John 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 589 KB

A real-time expert system for trigger-lo

✍ S. Clearwater; W. Cleland; F. Provost; E. Stern; Z. Zhang 📂 Article 📅 1990 🏛 Elsevier Science 🌐 English ⚖ 676 KB

Solutions to sample problems in real-tim

✍ Fowler, K. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 392 KB

Real time operation of μCHP systems usin

✍ Shaneb, Omar A.; Taylor, Phil C.; Coates, Graham 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 636 KB

Specifying Real-Time Finite-State System

✍ Max I. Kanovich; Mitsuhiro Okada; Andre Scedrov 📂 Article 📅 1998 🏛 Elsevier Science 🌐 English ⚖ 1008 KB

Deriving Trends in Historical and Real-T

✍ Apkar Salatian; Jim Hunter 📂 Article 📅 1999 🏛 Springer US 🌐 English ⚖ 171 KB