( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Contract Automata: A Specification Language for Mode-Based Systems.

, , , и . FormaliSE@ICSE, стр. 1-11. ACM, (2024)

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.

Bernhard Beckert

Werner Beckert

Siegfried Beckert

Lothar Beckert

Martin Beckert

 

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

Second-Order Principles in Specification Languages for Object-Oriented Programs, и . (2005)An Information-Flow Perspective on Algorithmic Fairness., и . AAAI, стр. 15337-15345. AAAI Press, (2024)Towards classes of architectural dependability assurance for machine-learning-based systems., , , и . SEAMS@ICSE, стр. 31-37. ACM, (2020)Preface.. GI-Jahrestagung, том P-192 из LNI, стр. 347. GI, (2011)Why Is Online Voting Still Largely a Black Box?, , и . CyberICPS/SECPRE/SPOSE/CPS4CIP/CDT&SECOMAN/EIS/SecAssure@ESORICS, том 13785 из Lecture Notes in Computer Science, стр. 555-567. Springer, (2022)Relational Test Tables: A Practical Specification Language for Evolution and Security., , , , и . FormaliSE@ICSE, стр. 77-86. ACM, (2020)Recent Developments in the Context of Online Elections and Digital Polls in Germany., , , , , , , , , и . Sicherheit, том P-323 из LNI, стр. 213-217. Gesellschaft für Informatik e.V., (2022)Modular Verification of JML Contracts Using Bounded Model Checking., , , и . ISoLA (1), том 12476 из Lecture Notes in Computer Science, стр. 60-80. Springer, (2020)The Java Verification Tool KeY:A Tutorial., , , , , , , и . FM (2), том 14934 из Lecture Notes in Computer Science, стр. 597-623. Springer, (2024)Logic Programming as a Bases for Lean Deduction: Achieving Maximal Efficiency from Minimal Means., и . WLP, стр. 108-111. Institut für Informatik der Universität Zürich, (1994)