✦ LIBER ✦

A Tool for Testing Data Type Implementations from Maude Algebraic Specifications

✍ Scribed by Isabel Pita; Adrián Riesco

Book ID: 113602811
Publisher: Elsevier Science
Year: 2012
Tongue: English
Weight: 902 KB
Volume: 282
Category: Article
ISSN: 1571-0661
DOI: 10.1016/j.entcs.2011.12.006

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Formal description techniques: Communica

Formal description techniques: Communication tools for data communication specialists: Formal specification and implementation of a file transfer protocol

✍ G T'Hooft 📂 Article 📅 1987 🏛 Elsevier Science 🌐 English ⚖ 619 KB

Domain-specific portal for the precision

Domain-specific portal for the precision component and tooling industry in Singapore—needs analysis and a test-bed implementation

✍ Jianguo Wang; Yoke San Wong; Kim Seng Lee; Xingang Huang; Qiang Liao; Han Tong L 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 437 KB

Modeling stand for debugging and testing

Modeling stand for debugging and testing of a complex information processing system with data from many different-type sources

✍ V. I. Gouz; V. P. Lipatov; T. V. Baringolts; E. V. Smertenko; D. A. Obytotskii; 📂 Article 📅 2012 🏛 Allerton Press, Inc. 🌐 English ⚖ 99 KB

Tests for gene-environment interaction f

Tests for gene-environment interaction from case-control data: a novel study of type I error, power and designs

✍ Bhramar Mukherjee; Jaeil Ahn; Stephen B. Gruber; Gad Rennert; Victor Moreno; Nil 📂 Article 📅 2008 🏛 John Wiley and Sons 🌐 English ⚖ 178 KB 👁 2 views

## Abstract To evaluate the risk of a disease associated with the joint effects of genetic susceptibility and environmental exposures, epidemiologic researchers often test for non‐multiplicative gene‐environment effects from case‐control studies. In this article, we present a comparative study of f

Goodness-of-fit tests based on spacings

Goodness-of-fit tests based on spacings for progressively type-II censored data from a general location-scale distribution

✍ Balakrishnan, N.; Ng, H.K.T.; Kannan, N. 📂 Article 📅 2004 🏛 IEEE 🌐 English ⚖ 582 KB

Inference for a step-stress partially ac

Inference for a step-stress partially accelerated life test model with an adaptive Type-II progressively hybrid censored data from Weibull distribution

✍ Ismail, Ali A. 📂 Article 📅 2014 🏛 Elsevier Science 🌐 English ⚖ 376 KB