( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Formal Requirements Elicitation with FRET.

, , , , , и . REFSQ Workshops, том 2584 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)

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.

Sofia Mavridou

Kiriaki Mavridou

Georgia Mavridou

Evanthia Mavridou

Anastasia Schneider

Einfluss von probiotischen Bakterien auf die Signalgebung dendritischer Zellen. Uni München, (2009)
 

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

Configuration Logics: Modelling Architecture Styles., , , и . FACS, том 9539 из Lecture Notes in Computer Science, стр. 256-274. Springer, (2015)Coordination of Dynamic Software Components with JavaBIP., , и . FACS, том 10487 из Lecture Notes in Computer Science, стр. 39-57. Springer, (2017)From Partial to Global Assume-Guarantee Contracts: Compositional Realizability Analysis in FRET., , , , , и . FM, том 13047 из Lecture Notes in Computer Science, стр. 503-523. Springer, (2021)Simplifying Requirements Formalization for Resource-Constrained Mission-Critical Software., , , и . DSN-W, стр. 263-266. IEEE, (2023)Automated Translation of Natural Language Requirements to Runtime Monitors., , , , и . TACAS (1), том 13243 из Lecture Notes in Computer Science, стр. 387-395. Springer, (2022)Architecture-Based Design: A Satellite On-Board Software Case Study., , , , , и . FACS, том 10231 из Lecture Notes in Computer Science, стр. 260-279. (2016)Generation of Formal Requirements from Structured Natural Language., , , и . REFSQ, том 12045 из Lecture Notes in Computer Science, стр. 19-35. Springer, (2020)Monitoring ROS2: from Requirements to Autonomous Robots., , , , и . FMAS/ASYDE@SEFM, том 371 из EPTCS, стр. 208-216. (2022)Formal Requirements Elicitation with FRET., , , , , и . REFSQ Workshops, том 2584 из CEUR Workshop Proceedings, CEUR-WS.org, (2020)A Common Integrated Framework for Heterogeneous Modeling Services., , , и . MoDELS (Workshops), том 2245 из CEUR Workshop Proceedings, стр. 416-422. CEUR-WS.org, (2018)