✦ LIBER ✦

An application of structural modeling and automated reasoning to real-time systems design

✍ Scribed by Shinichi Honiden; Naoshi Uchihira; Kazunori Matsumoto; Kazuo Matsumura; Masahiko Arai

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Automated support for the formal specifi

✍ Chris Ho-Stuart; Hussein Zedan; Ming Fang 📂 Article 📅 1993 🏛 Elsevier Science ⚖ 513 KB

An approach to the design of distributed

✍ Miomirka Cvijović; Mojca Kunc 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 1000 KB

Design of an intelligent information sys

📂 Article 📅 1991 🏛 Elsevier Science 🌐 English ⚖ 95 KB

Derivation of fuzzy hybrid models for re

✍ C.F Nicolás; E Lombraña; A Álvarez; R Reyero 📂 Article 📅 1994 🏛 Elsevier Science ⚖ 602 KB

Experiences in the design and implementa

✍ Anthony Mark; Otto Eggenberger; Jürgen Nehmer 📂 Article 📅 1977 🏛 Elsevier Science ⚖ 506 KB

Design and implementation of an integrat

✍ Servet Tuncer; Yetkin Tatar; Hanifi Güldemir 📂 Article 📅 2009 🏛 John Wiley and Sons 🌐 English ⚖ 774 KB