✦ LIBER ✦

Heterogeneous Notations for Pure Formal Method Integration

✍ Scribed by Richard F. Paige

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Heterogeneous schema integration method

✍ Yoonsook Lee; Songchun Moon 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 697 KB

Finite-element solutions for mechanical

✍ Harald Wern 📂 Article 📅 1995 🏛 Elsevier Science 🌐 English ⚖ 409 KB

Continuous Volterra-Runge-Kutta methods

✍ N. Baddour; H. Brunner 📂 Article 📅 1993 🏛 Springer Vienna 🌐 English ⚖ 634 KB

Novel generalized- methods for interfiel

✍ O.S. Bursi; L. He; A. Bonelli; P. Pegon 📂 Article 📅 2010 🏛 Elsevier Science 🌐 English ⚖ 947 KB

in-the-Loop test

On a time-discretization method for a se

✍ Nabil Merazga; Abdelfatah Bouziani 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 271 KB