𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Introspection mechanisms for runtime verification in a system-level design environment

✍ Scribed by M. Metzger; A. Anane; F. Rousseau; J. Vachon; E.M. Aboulhamid

Publisher
Elsevier Science
Year
2009
Tongue
English
Weight
597 KB
Volume
40
Category
Article
ISSN
0026-2692

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

A knowledge-based system for materials s
A knowledge-based system for materials selection in mechanical engineering design
✍ S.M Sapuan πŸ“‚ Article πŸ“… 2001 πŸ› Elsevier Science βš– 344 KB

This paper studies various work on the development of computerized material selection system. The importance of Ε½ . knowledge-based system KBS in the context of concurrent engineering is explained. The study of KBS in material selection in an engineering design process is described. The development

A mechanized system for the determinatio
A mechanized system for the determination of low levels of quickly reacting aluminium in natural waters
✍ Lars-GΓΆran Danielsson; Anders SparΓ©n πŸ“‚ Article πŸ“… 1995 πŸ› Elsevier Science 🌐 English βš– 858 KB

A continuous flow system has been connected to a graphite furnace atomic absorption spectrometer. The system is used to determine low levels of "quickly reacting Al" (Al,,) in natural waters. In the flow system, alum~nium reacts with oxine for 2.3 s and the formed complex is then extracted into tolu