( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Sensitivity and Uncertainty Analysis in Performability Modeling.

, и . SRDS, стр. 93-102. IEEE Computer Society, (1992)

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

 

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

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)A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications., , , и . DSN (Industry Track), стр. 5-8. IEEE, (2019)Performance Evaluation of Polling-Based Communication Systems Using SPNs.. Application of Petri Nets to Communication Networks, том 1605 из Lecture Notes in Computer Science, стр. 176-209. Springer, (1999)Computing Lifetimes for Battery-Powered Devices., и . OR, стр. 193-198. Springer, (2010)Fluid Survival Tool: A Model Checker for Hybrid Petri Nets., , , и . MMB/DFT, том 8376 из Lecture Notes in Computer Science, стр. 255-259. Springer, (2014)iDSL: Automated Performance Evaluation of Service-Oriented Systems., , и . ModelEd, TestEd, TrustEd, том 10500 из Lecture Notes in Computer Science, стр. 214-236. Springer, (2017)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)Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets.. Perform. Evaluation, 18 (1): 61-78 (1993)