Testing theory for probabilistic systems

被引：0

作者：

Wolf, V ^{[1
]}

机构：

[1] Univ Mannheim, Lehrstuhl Parkt Informat 2, D-6800 Mannheim, Germany

来源：

MODEL-BASED TESTING OF REACTIVE SYSTEMS | 2005年 / 3472卷

关键词：

D O I：

暂无

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

引用

页码：233 / 275

页数：43

共 50 条

[41] Probabilistic argumentation systems: A new perspective on the Dempster-Shafer theory
Haenni, R
Lehmann, N
[J]. INTERNATIONAL JOURNAL OF INTELLIGENT SYSTEMS, 2003, 18 (01) : 93 - 106
[42] On the Discriminating Power of Testing Equivalences for Reactive Probabilistic Systems: Results and Open Problems
Bernardo, Marco
Sangiorgi, Davide
Vignudelli, Valeria
[J]. QUANTITATIVE EVALUATION OF SYSTEMS, QEST 2014, 2014, 8657 : 281 - 296
[43] The process equation: Formulating and testing the process theory of systems
Sabelli, H
Kauffman, L
[J]. CYBERNETICS AND SYSTEMS, 1999, 30 (04) : 261 - 294
[44] Miniaturization of hydroprocessing catalyst testing systems: Theory and practice
Sie, ST
[J]. AICHE JOURNAL, 1996, 42 (12) : 3498 - 3507
[45] Formal passive testing of timed systems: theory and tools
Andres, Cesar
Merayo, Mercedes G.
Nunez, Manuel
[J]. SOFTWARE TESTING VERIFICATION & RELIABILITY, 2012, 22 (06): : 365 - 405
[46] MODAL TESTING THEORY OF ROTOR-BEARING SYSTEMS
JEI, YG
KIM, YJ
[J]. JOURNAL OF VIBRATION AND ACOUSTICS-TRANSACTIONS OF THE ASME, 1993, 115 (02): : 165 - 176
[47] COMPONENTS IN THE EVOLUTION OF URBAN SYSTEMS - THEORY AND EMPIRICAL TESTING
MEDVEDKOVA, OL
[J]. SOVIET GEOGRAPHY REVIEW AND TRANSLATION, 1980, 21 (01): : 15 - 30
[48] PROBABILISTIC INVERSE THEORY
Debski, Wojciech
[J]. ADVANCES IN GEOPHYSICS, VOL 52, 2010, 52 : 1 - 102
[49] Probabilistic Galois theory
Dietmann, Rainer
[J]. BULLETIN OF THE LONDON MATHEMATICAL SOCIETY, 2013, 45 : 453 - 462
[50] A probabilistic theory of knowledge
Kvart, Igal
[J]. PHILOSOPHY AND PHENOMENOLOGICAL RESEARCH, 2006, 72 (01) : 1 - 43

← 1 2 3 4 5 →