✦ LIBER ✦

Dependability analysis of DES based on MARTE and UML state machines models

✍ Scribed by José Merseguer; Simona Bernardi

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Initial Rotor Position and Magnetic Pola

✍ Yi Wang; Ningning Guo; Jianguo Zhu; Nana Duan; Shuhong Wang; Youguang Guo; Wei X 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 570 KB

Thermal error modeling of machine tool b

✍ Han, Jian; Wang, Liping; Cheng, Ningbo; Wang, Haitong 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 580 KB

Deviation diagnosis and analysis of hull

✍ Zhiying Zhang, Yinfang Dai, Zhen Li 📂 Article 📅 2012 🏛 Harbin Engineering University 🌐 English ⚖ 386 KB

SIMULTANEOUS MEASUREMENT OF TIME AND RIS

✍ Takanori Ida; Rei Goto 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 126 KB

Analysis and design of different control

✍ Litrán, S.P.; Salmerón, P. 📂 Article 📅 2012 🏛 The Institution of Engineering and Technology 🌐 English ⚖ 738 KB

Research on optimizing control model of

✍ Lijun Wang; Zhenzhong Yang; Manlou He 📂 Article 📅 2012 🏛 Elsevier Science 🌐 English ⚖ 332 KB