( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Verification, Testing, and Runtime Monitoring of Automotive Exhaust Emissions.

, , , и . LPAR, том 57 из EPiC Series in Computing, стр. 1-17. EasyChair, (2018)

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.

Holger Hermanns

Holger Hermanns

Holger Hermanns

Gerhard Hermanns

Bernward Hermanns

 

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

Performance Evaluation : = (Process Algebra + Model Checking) × Markov Chains., и . CONCUR, том 2154 из Lecture Notes in Computer Science, стр. 59-81. Springer, (2001)Deep Statistical Model Checking., , , , и . FORTE, том 12136 из Lecture Notes in Computer Science, стр. 96-114. Springer, (2020)Polygon-Based Algorithms for N-Satellite Constellations Coverage Computing., , и . IEEE Trans. Aerosp. Electron. Syst., 59 (5): 7166-7182 (октября 2023)Teaching Concurrency Concepts to Freshmen., и . Trans. Petri Nets Other Model. Concurr., (2008)Quantification of Battery Depletion Risk Made Efficient., и . NFM, том 13260 из Lecture Notes in Computer Science, стр. 156-174. Springer, (2022)Lab Conditions for Research on Explainable Automated Decisions., , , , , , , и . TAILOR, том 12641 из Lecture Notes in Computer Science, стр. 83-90. Springer, (2020)Energieinformatik im erdnahen Orbit.. GI-Jahrestagung, том P-246 из LNI, стр. 41. GI, (2015)(TACAS21 Artifact) Momba: JANI Meets Python., , и . (марта 2021)OxiDD: A Safe, Concurrent, Modular, and Performant Decision Diagram Framework in Rust., , , и . (2024)Doping Tests for Cyber-Physical Systems., , и . QEST, том 11785 из Lecture Notes in Computer Science, стр. 313-331. Springer, (2019)