( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Runtime Verification of Generalized Test Tables.

, , , и . NFM, том 12673 из Lecture Notes in Computer Science, стр. 358-374. Springer, (2021)

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.

Irmgard Klamroth

Brigitte Klamroth

Kurt Klamroth

Barbara Klamroth

Erich Klamroth

 

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

Fault-tolerant Hybrid Quantum Software Systems., , и . QSW, стр. 52-57. IEEE, (2022)Engineering Reliable Hybrid Quantum Software: An Architectural-driven Approach., , и . Q-SET@QCE, том 3008 из CEUR Workshop Proceedings, стр. 29-37. CEUR-WS.org, (2021)Modular Verification of JML Contracts Using Bounded Model Checking., , , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 60-80. Springer, (2020)On Rounding Errors in the Simulation of Quantum Circuits., и . ICSOC Workshops, том 14518 из Lecture Notes in Computer Science, стр. 137-149. Springer, (2023)QIn: Enabling Formal Methods to Deal with Quantum Circuits., , , и . QSW, стр. 175-185. IEEE, (2023)Formal Specification and Verification of JDK's Identity Hash Map Implementation., , , , , и . IFM, том 13274 из Lecture Notes in Computer Science, стр. 45-62. Springer, (2022)The Karlsruhe Java Verification Suite., , , и . The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 290-312. Springer, (2022)Experiences in Quantum Software Engineering., , , , и . IPDPS Workshops, стр. 552-559. IEEE, (2023)Runtime Verification of Generalized Test Tables., , , и . NFM, том 12673 из Lecture Notes in Computer Science, стр. 358-374. Springer, (2021)Towards classes of architectural dependability assurance for machine-learning-based systems., , , и . SEAMS@ICSE, стр. 31-37. ACM, (2020)