𝔖 Bobbio Scriptorium
✦   LIBER   ✦

Real-Time Systems || Timing Analysis of Predicate-Logic Rule-Based Systems

✍ Scribed by Cheng, Albert M. K.

Publisher
John Wiley & Sons, Inc.
Year
2002
Weight
493 KB
Category
Article
ISBN-13
9780471224624

No coin nor oath required. For personal study only.

πŸ“œ SIMILAR VOLUMES

Real-Time Systems Design and Analysis (L
Real-Time Systems Design and Analysis (Laplante/Real-Time Systems Design) || Basic Real-Time Concepts
✍ Laplante, Phillip A. πŸ“‚ Article πŸ“… 2004 πŸ› John Wiley & Sons, Inc. 🌐 English βš– 151 KB πŸ‘ 2 views

The leading guide to real-time systems design-revised and updated This third edition of Phillip Laplante's bestselling, practical guide to building real-time systems maintains its predecessors' unique holistic, systems-based approach devised to help engineers write problem-solving software. Dr. Lap

Toward logical analysis of tabular rule-
Toward logical analysis of tabular rule-based systems
✍ Antoni LigΔ™za πŸ“‚ Article πŸ“… 2001 πŸ› John Wiley and Sons 🌐 English βš– 192 KB πŸ‘ 1 views

Ε”ule-based systems constitute the most popular tool for specification of operational knowledge in the majority of knowledge-based systems. This paper addresses the issue of analysis and verification of selected properties of such systems in a systematic way. A uniform, tabular form of single-level r