𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Generating tests from B specifications and dynamic selection criteria

✍ Scribed by Jacques Julliand; Pierre-Alain Masson; Régis Tissot; Pierre-Christophe Bué

Publisher
Springer
Year
2009
Tongue
English
Weight
523 KB
Volume
23
Category
Article
ISSN
0934-5043

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Progeny tests of barley, wheat, and pota
Progeny tests of barley, wheat, and potato regenerated from cell cultures after in vitro selection for disease resistance
✍ G. Wenzel; B. Foroughi-Wehr 📂 Article 📅 1990 🏛 Springer 🌐 English ⚖ 645 KB

Because plant cells cultured in vitro express genetic variability and since they can be regenerated into functional plants, procedures have been designed to use this system for the production of plants with new important agronomic characteristics, particularly for disease resistance. For barley, whe

Risk-based selection from the general po
Risk-based selection from the general population in a screening trial: Selection criteria, recruitment and power for the Dutch-Belgian randomised lung cancer multi-slice CT screening trial (NELSON)
✍ Carola A. van Iersel; Harry J. de Koning; Gerrit Draisma; Willem P.T.M. Mali; Er 📂 Article 📅 2006 🏛 John Wiley and Sons 🌐 French ⚖ 182 KB

## Abstract A method to obtain the optimal selection criteria, taking into account available resources and capacity and the impact on power, is presented for the Dutch‐Belgian randomised lung cancer screening trial (NELSON). NELSON investigates whether 16‐detector multi‐slice computed tomography sc