✦ LIBER ✦

Data decision diagrams for Promela systems analysis

✍ Scribed by Vincent Beaudenon; Emmanuelle Encrenaz; Sami Taktak

Book ID: 106245531
Publisher: Springer
Year: 2010
Tongue: English
Weight: 457 KB
Volume: 12
Category: Article
ISSN: 1433-2779
DOI: 10.1007/s10009-010-0135-0

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A Logarithmic Binary Decision Diagram-Ba

A Logarithmic Binary Decision Diagram-Based Method for Multistate System Analysis

✍ Shrestha, A.; Liudong Xing 📂 Article 📅 2008 🏛 IEEE 🌐 English ⚖ 573 KB

Decision Diagram Based Methods and Compl

Decision Diagram Based Methods and Complexity Analysis for Multi-State Systems

✍ Shrestha, A.; Liudong Xing; Yuanshun Dai 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 674 KB

An Efficient Multistate Multivalued Deci

An Efficient Multistate Multivalued Decision Diagram-Based Approach for Multistate System Sensitivity Analysis

✍ Shrestha, A.; Liudong Xing; Coit, D.W. 📂 Article 📅 2010 🏛 IEEE 🌐 English ⚖ 569 KB

Reliability Analysis of Nonrepairable Co

Reliability Analysis of Nonrepairable Cold-Standby Systems Using Sequential Binary Decision Diagrams

✍ Liudong Xing; Tannous, O.; Dugan, J.B. 📂 Article 📅 2012 🏛 IEEE 🌐 English ⚖ 331 KB

Multi-Terminal Binary Decision Diagrams:

Multi-Terminal Binary Decision Diagrams: An Efficient Data Structure for Matrix Representation

✍ M. Fujita; P.C. McGeer; J.C.-Y. Yang 📂 Article 📅 1997 🏛 Springer 🌐 English ⚖ 178 KB

A framework for systems analysis for dec

A framework for systems analysis for decision support systems

✍ Harish C. Bahl; Raymond G. Hunt 📂 Article 📅 1984 🏛 Elsevier Science 🌐 English ⚖ 667 KB

Comprehensive and elaborate systems analysis techniques have been developed in the past of routine and operational information systems. Developing support systems for organizational decision-making requires new tools and methodologies. We present a new framework for data collection and decision anal