✦ LIBER ✦

Detecting equivalence of modular specifications with categorical diagrams

✍ Scribed by Catherine Oriat

Publisher: Elsevier Science
Year: 2000
Tongue: English
Weight: 431 KB
Volume: 247
Category: Article
ISSN: 0304-3975
DOI: 10.1016/s0304-3975(98)00232-1

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Categorical equivalence of algebras with

Categorical equivalence of algebras with a majority term

✍ C. Bergman 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 326 KB

Supervisory control of modular systems w

Supervisory control of modular systems with global specification languages

✍ J. Komenda; J.H. van Schuppen; B. Gaudin; H. Marchand 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 266 KB

The equivalent circuit diagram of oxide

The equivalent circuit diagram of oxide films with a limited potential drop

✍ M.M. Lohrengel; J.W. Schultze; H.D. Speckmann 📂 Article 📅 1986 🏛 Elsevier Science 🌐 English ⚖ 358 KB

Specification and detection of performan

Specification and detection of performance problems with ASL

✍ Michael Gerndt; Karl Fürlinger 📂 Article 📅 2007 🏛 John Wiley and Sons 🌐 English ⚖ 186 KB

## Abstract Performance analysis is an important step in tuning performance‐critical applications. It is a cyclic process of measuring and analyzing performance data, driven by the programmer's hypotheses on potential performance problems. Currently this process is controlled manually by the progra

ChemInform Abstract: Modular Approach to

ChemInform Abstract: Modular Approach to the Design of Nucleophilic Glycine Equivalents with Tailorable Physicochemical Properties

✍ Vadim A. Soloshonok; Hisanori Ueki; Trevor K. Ellis 📂 Article 📅 2009 🏛 John Wiley and Sons ⚖ 11 KB

Generalized-order perturbation with expl

Generalized-order perturbation with explicit coefficient for damage detection of modular beam

✍ Chun Nam Wong; Hong-Zhong Huang; Jingqi Xiong; Hua Long Lan 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 858 KB