✦ LIBER ✦

Decision model for overview checking of engineering designs

✍ Scribed by Mark G. Stewart; Robert E. Melchers

Publisher: Elsevier Science
Year: 1989
Tongue: English
Weight: 628 KB
Volume: 4
Category: Article
ISSN: 0169-8141
DOI: 10.1016/0169-8141(89)90046-2

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Experiment design and graphical analysis

Experiment design and graphical analysis for checking acceleration models

✍ M.J. Luvalle 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 820 KB

Overview of some available models for pa

Overview of some available models for passive solar design

✍ John G.F. Littler 📂 Article 📅 1982 🏛 Elsevier Science 🌐 English ⚖ 311 KB

Knowledge engineering concepts for decis

Knowledge engineering concepts for decision support system design and implementation

✍ Joyce J. Elam; John C. Henderson 📂 Article 📅 1983 🏛 Elsevier Science 🌐 English ⚖ 910 KB

The design of computer-based systems that simulate expert human consulting h> drawing on large amounts of task-specific hnouledpe has been a major research activity of applied artificoal intelligence over the last ten years. Building decision support systems that incorporate aspects of this research

Automatic verification of multi-agent sy

Automatic verification of multi-agent systems by model checking via ordered binary decision diagrams

✍ Franco Raimondi; Alessio Lomuscio 📂 Article 📅 2007 🏛 Elsevier Science 🌐 English ⚖ 234 KB

The complexity of model checking for cir

The complexity of model checking for circumscriptive formulae

✍ Marco Cadoli 📂 Article 📅 1992 🏛 Elsevier Science 🌐 English ⚖ 556 KB

A decision support simulation model for

A decision support simulation model for design of fast patrol boats

✍ H. Kvaale 📂 Article 📅 1988 🏛 Elsevier Science 🌐 English ⚖ 549 KB