( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Forest GUMP: a tool for verification and explanation.

, , , , и . Int. J. Softw. Tools Technol. Transf., 25 (3): 287-299 (июня 2023)

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.

Magdalena Bainczyk

Stephanie Bainczyk

Katja Bainczyk

Gregor Bainczyk

Alexander

 

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

Lifelong Learning of Reactive Systems in Practice., , и . The Logic of Software. A Tasting Menu of Formal Methods, том 13360 из Lecture Notes in Computer Science, стр. 38-53. Springer, (2022)DIME Days (ISoLA 2022 Track Introduction)., , , , , и . ISoLA (2), том 13702 из Lecture Notes in Computer Science, стр. 367-373. Springer, (2022)ChatGPT in the Loop: A Natural Language Extension for Domain-Specific Modeling Languages., , , и . AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 375-390. Springer, (2023)Aligned, Purpose-Driven Cooperation: The Future Way of System Development., , , , и . ISoLA, том 13036 из Lecture Notes in Computer Science, стр. 426-449. Springer, (2021)Forest GUMP: a tool for verification and explanation., , , , и . Int. J. Softw. Tools Technol. Transf., 25 (3): 287-299 (июня 2023)Forest GUMP: A Tool for Explanation., , и . TACAS (2), том 13244 из Lecture Notes in Computer Science, стр. 314-331. Springer, (2022)An Introduction to Graphical Modeling of CI/CD Workflows with Rig., , , , , и . ISoLA, том 13036 из Lecture Notes in Computer Science, стр. 3-17. Springer, (2021)Towards LLM-Based System Migration in Language-Driven Engineering., , и . ECBS, том 14390 из Lecture Notes in Computer Science, стр. 191-200. Springer, (2023)Towards Continuous Quality Control in the Context of Language-Driven Engineering., , , , , и . ISoLA (2), том 13702 из Lecture Notes in Computer Science, стр. 389-406. Springer, (2022)Cinco Cloud: A Holistic Approach for Web-Based Language-Driven Engineering., , , , , , и . ISoLA (2), том 13702 из Lecture Notes in Computer Science, стр. 407-425. Springer, (2022)