( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Efficient computation of time-bounded reachability probabilities in uniform continuous-time Markov decision processes.

, , , и . Theor. Comput. Sci., 345 (1): 2-26 (2005)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

Maurits Haverkort

Boudewijn Moonen

Boudewijn Venema

Frans Boudewijn Gerritse

R Chaudhury

 

Другие публикации лиц с тем же именем

A Tool for Generating Automata of IEC60870-5-104 Implementations., , , и . MMB, том 10740 из Lecture Notes in Computer Science, стр. 307-311. Springer, (2018)A Domain-Specific Language and Toolchain for Performance Evaluation Based on Measurements., , и . MMB, том 10740 из Lecture Notes in Computer Science, стр. 295-301. Springer, (2018)A Method for Analysing the Performance Aspects of the Fault-Tolerance Mechanisms in FDDI., , и . INFOCOM, стр. 372-381. IEEE Computer Society, (1992)Xmgm: Performance Modeling Using Matrix Geometric Techniques., , и . MASCOTS, стр. 152-157. IEEE Computer Society, (1994)Measuring and Modeling of Application Flow Length in Commercial GPRS Networks., и . QEST, стр. 83-92. IEEE Computer Society, (2006)Fluid Survival Tool: A Model Checker for Hybrid Petri Nets., , , и . MMB/DFT, том 8376 из Lecture Notes in Computer Science, стр. 255-259. Springer, (2014)Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets.. Perform. Evaluation, 18 (1): 61-78 (1993)Computing Lifetimes for Battery-Powered Devices., и . OR, стр. 193-198. Springer, (2010)CSL model checking of Deterministic and Stochastic Petri Nets., и . MMB, стр. 265-282. VDE Verlag, (2006)Quantitative Verification in Practice., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 127. Springer, (2010)