From post

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.

 

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

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)Approximate Performability and Dependability Analysis Using Generalized Stochastic Petri Nets.. Perform. Evaluation, 18 (1): 61-78 (1993)Quantitative Verification in Practice., , и . ISoLA (2), том 6416 из Lecture Notes in Computer Science, стр. 127. Springer, (2010)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)A Parser for Deep Packet Inspection of IEC-104: A Practical Solution for Industrial Applications., , , и . DSN (Industry Track), стр. 5-8. IEEE, (2019)Fluid Survival Tool: A Model Checker for Hybrid Petri Nets., , , и . MMB/DFT, том 8376 из Lecture Notes in Computer Science, стр. 255-259. Springer, (2014)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)iDSL: Automated Performance Evaluation of Service-Oriented Systems., , и . ModelEd, TestEd, TrustEd, том 10500 из Lecture Notes in Computer Science, стр. 214-236. Springer, (2017)