✦ LIBER ✦

SimCheck: a contract type system for Simulink

✍ Scribed by Pritam Roy; Natarajan Shankar

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Simulink Model for the Human Circulato

✍ Wabel, P.; Leonhardt, S. 📂 Article 📅 2009 🏛 Walter de Gruyter GmbH & Co. KG 🌐 German ⚖ 476 KB

Photovoltaic Module Simulink Model for a

✍ Chen Qi; Zhu Ming 📂 Article 📅 2012 🏛 Elsevier 🌐 English ⚖ 471 KB

A Matlab/Simulink-Based Interactive Modu

✍ Aliane, N. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 462 KB

A Simulink-Based Scheme for Simulation o

✍ Mantecon, J. A.; Gomez, M.; Rodellar, J. 📂 Article 📅 2002 🏛 SAGE Publications 🌐 English ⚖ 227 KB

A Model for Planning Study-Type Contract

✍ White, D. R. J.; Hickey, T. J. 📂 Article 📅 1960 🏛 Institute of Electrical and Electronics Engineers ⚖ 861 KB

Design of a Library of Components for Au

✍ Chermitti, A.; Boukli-Hacene, O.; Meghebbar, A.; Bibitriki, N.; Kherous, A. 📂 Article 📅 2014 🏛 Elsevier 🌐 English ⚖ 526 KB