✦ LIBER ✦

Automatic generation of symbolic model for parameterized synchronous systems

✍ Scribed by Wei-Wen Xu

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automatic Model-Based Generation of Para

✍ Jens R. Calamé; Natalia Ioustinova; Jaco van de Pol 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 458 KB

A Symbolic Approach for Automatic Genera

✍ R. Lot; M. Da Lio 📂 Article 📅 2004 🏛 Springer 🌐 English ⚖ 263 KB

Automatic modeling of mechatronic system

✍ Ming-Shaung Ju; Chih-Jung Hsu 📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 823 KB

[Lecture Notes in Computer Science] Comp

✍ Alur, Rajeev; Henzinger, Thomas A. 📂 Article 📅 1996 🏛 Springer Berlin Heidelberg ⚖ 960 KB

Simulation of nitrate leaching using a m

✍ M.H. Larsson; H. Johnsson 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 English ⚖ 321 KB

A Symbolic computation method for automa

✍ Ji-Young Lee; Woon-Sung Lee 📂 Article 📅 2005 🏛 Springer-Verlag 🌐 English ⚖ 522 KB