[Lecture Notes in Computer Science] Computer Safety, Reliability, and Security Volume 7612 || Cross-Level Compositional Reliability Analysis for Embedded Systems
- 作者Ortmeier, Frank; Daniel, Peter
- 文件大小299.25KB
- 发表时间2012
- DOI10.1007/978-3-642-33678-2_10
- 页码111-124
Semi-stationary processesRichard F. Serfozo · Probability Theory and Related Fields · 1972
Large deviations of renewal processesRichard F. Serfozo · 1974
Editorial introductionVolker Schmidt; Richard F. Serfozo · 1994
Functions of Semi-Markov ProcessesSerfozo, Richard F. · SIAM Journal on Applied Mathematics · 1971
Partition-Reversible Markov ProcessesChristos Alexopoulos, Akram A. El-Tannir and Richard F. Serfozo · Operations Research · 1999
Functions of Semi-Markov ProcessesRichard F. Serfozo · SIAM Journal on Applied Mathematics · 1971
Conditional Poisson ProcessesRichard F. Serfozo · Journal of Applied Probability · 1972
Processes with Conditional Stationary Independent IncrementsRichard F. Serfozo · Journal of Applied Probability · 1972
Test sets of integer programsRobert Weismantel · Mathematical Methods of Operations Research (ZOR) · 1998
Inverse problem of minimum cutsJianzhong Zhang; Mao -Cheng Cai · Mathematical Methods of Operations Research (ZOR) · 1998
Thek-partitioning problemLuitpold Babel; Hans Kellerer; Vladimir Kotov · Mathematical Methods of Operations Research (ZOR) · 1998
Book reviewsPetra Huh; Horst W. Hamacher · Mathematical Methods of Operations Research (ZOR) · 1998
Restricted component additive gamesImma Curiel; Herbert Hamers; Stef Tijs; Jos Potters · Mathematical Methods of Operations Research (ZOR) · 1997
Inverse Matroid Intersection ProblemCai Mao-Cheng; Yanjun Li · Mathematical Methods of Operations Research (ZOR) · 1997
Book reviewsE. Schaich; H. Volger; Fredi Tröltzsch · Mathematical Methods of Operations Research (ZOR) · 1997
Book reviewsJ. Zimmermann; Hans Daduna · Mathematical Methods of Operations Research (ZOR) · 1996