✦ LIBER ✦

Specifying real-time properties in autonomic systems

✍ Scribed by Ji Zhang; Zhinan Zhou; Betty H. C. Cheng; Philip K. McKinley

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Specifying Real-Time Finite-State System

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

Sokrates-SA - A formal method for specif

✍ Ari Okkonen; Antti Auer; Mikko Levanto; Jyrki Okkonen; Jarmo Kalaoja 📂 Article 📅 1989 🏛 Elsevier Science ⚖ 730 KB

Adaptive reflex autonomicity for real-ti

✍ Roy Sterritt; Mike Hinchey 📂 Article 📅 2009 🏛 Springer 🌐 English ⚖ 362 KB

Supporting decisions in real-time enterp

✍ Daniel E. O’Leary 📂 Article 📅 2008 🏛 Springer 🌐 English ⚖ 228 KB

Towards a verifiable real-time, autonomi

✍ Abhishek Dubey; Steve Nordstrom; Turker Keskinpala; Sandeep Neema; Ted Bapty; Ga 📂 Article 📅 2007 🏛 Springer 🌐 English ⚖ 760 KB

Specifying requirements of real-time sys

✍ Wu Guo-qing; Xiao Hai-feng; Zheng Pen; Ying Shi 📂 Article 📅 2000 🏛 Wuhan University 🌐 English ⚖ 537 KB