✦ LIBER ✦

Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems

✍ Scribed by Nazareno Aguirre; Tom Maibaum

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Dynamical reconfiguration method of cell

✍ Hidenori Ishihara; Toshio Fukuda 📂 Article 📅 1996 🏛 Elsevier Science 🌐 English ⚖ 535 KB

Rapid reconfiguration of job shop produc

✍ Feng Liang; Zhibin Jiang; Richard Y. K. Fung; Liyan Tao; Mingchen Ma 📂 Article 📅 2006 🏛 Springer 🌐 English ⚖ 298 KB

Piecewise output feedback control for af

✍ Min Wu; Gangfeng Yan; Zhiyun Lin 📂 Article 📅 2011 🏛 South China University of Technology and Academy o 🌐 English ⚖ 221 KB

Rule-based behaviour modelling: specific

✍ A. Tsalgatidou; P. Loucopoulos 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 764 KB

Fault detection of excavator’s hydraulic

✍ He, Qing-hua ;He, Xiang-yu ;Zhu, Jian-xin 📂 Article 📅 2008 🏛 Chinese Electronic Periodical Services 🌐 English ⚖ 421 KB

Multiple states based temporal consisten

✍ Jinjun Chen; Yun Yang 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 289 KB