✦ LIBER ✦

Logical formalism for specification of real-time multiagent systems

✍ Scribed by D. Yu. Bugaichenko; I. P. Solov’ev

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Real-Time Discrete Event System Specif

✍ Joon Sung Hong; Hae-Sang Song; Tag Gon Kim; Kyu Ho Park 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 604 KB

Animation prototyping of formal specific

✍ T.S. Hughes; J.E. Cooling 📂 Article 📅 1990 🏛 Elsevier Science ⚖ 534 KB

Real-Time Search for Autonomous Agents a

✍ Toru Ishida 📂 Article 📅 1998 🏛 Springer US 🌐 English ⚖ 211 KB

Timed Modal Logics for Real-Time Systems

✍ Patricia Bouyer; Franck Cassez; François Laroussinie 📂 Article 📅 2010 🏛 Springer Netherlands 🌐 English ⚖ 499 KB

Specification of Real-Time Systems in UM

✍ E.E. Roubtsova; J. van Katwijk; W.J. Toetenel; C. Pronk; R.C.M. de Rooij 📂 Article 📅 2000 🏛 Elsevier Science 🌐 English ⚖ 161 KB

Automated support for the formal specifi

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB