( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis.

, , , , , и . CoRR, (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.

Robert Heinrich

Robert Heinrich

Heinrich Robert

Robert Heinrich

Robert Heinrich

 

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

Concern-oriented language development (COLD): Fostering reuse in language engineering., , , , , , , , , и 6 other автор(ы). Comput. Lang. Syst. Struct., (2018)An extensible approach to implicit incremental model analyses., , и . Softw. Syst. Model., 18 (5): 3151-3187 (2019)Vorwort: 4th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems (EMLS'17), 21. Februar 2017, Hannover, , , и . Softwaretechnik-Trends, (2017)A Taxonomy of Dynamic Changes Affecting Confidentiality., , и . Softwaretechnik-Trends, 40 (2): 35-36 (2020)Architecture-based attack propagation and variation analysis for identifying confidentiality issues in Industry 4.0., , , , , и . Autom., 71 (6): 443-452 (июня 2023)Quantifying Software Correctness by Combining Architecture Modeling and Formal Program Analysis., , , , , и . CoRR, (2024)Maintaining Security in Software Evolution., , , , , , , , , и 4 other автор(ы). Managed Software Evolution, Springer, (2019)Dynamic Access Control in Industry 4.0 Systems., , , , , , , и . Digital Transformation, Springer, (2022)Conclusion., , , и . Composing Model-Based Analysis Tools, Springer, (2021)Challenges in the Evolution of Palladio - Refactoring Design Smells in a Historically-Grown Approach to Software Architecture Analysis., , , и . Composing Model-Based Analysis Tools, Springer, (2021)