재정 지원 요구사항을 통해 공개된 자료 - Husain Aljazzar자세히 알아보기
제공된 곳이 있음: 4
Directed explicit state-space search in the generation of counterexamples for stochastic model checking
H Aljazzar, S Leue
IEEE Transactions on Software Engineering 36 (1), 37-60, 2009
재정 지원 요구사항 정책: German Research Foundation
Extended directed search for probabilistic timed reachability
H Aljazzar, S Leue
International Conference on Formal Modeling and Analysis of Timed Systems, 33-51, 2006
재정 지원 요구사항 정책: German Research Foundation
Generation of counterexamples for model checking of Markov decision processes
H Aljazzar, S Leue
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
재정 지원 요구사항 정책: German Research Foundation
Debugging of dependability models using interactive visualization of counterexamples
H Aljazzar, S Leue
2008 Fifth International Conference on Quantitative Evaluation of Systems …, 2008
재정 지원 요구사항 정책: German Research Foundation
발행인 및 자금 지원 정보는 컴퓨터 프로그램에서 자동으로 결정됩니다.