( en | de | ru )

 

Disambiguierung von "Lestingi, Livia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Conceptual Framework for Explainability Requirements in Software-Intensive Systems.

, , , , , und . REW, Seite 309-315. IEEE, (2023)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Livia Wissing

Livia Schäffler

Livia Katz

Livia Stucke

Livia Burkhardt

 

Weitere Publikationen von Autoren mit dem selben Namen

Teaching Formal Methods to Software Engineers through Collaborative Learning (Short Paper).. FMTea, Volume 13122 von Lecture Notes in Computer Science, Seite 75-83. Springer, (2021)Architecting Explainable Service Robots., , , , , und . ECSA, Volume 14212 von Lecture Notes in Computer Science, Seite 153-169. Springer, (2023)Explainable Human-Machine Teaming using Model Checking and Interpretable Machine Learning., , , , und . FormaliSE, Seite 18-28. IEEE, (2023)Formal Verification of Human-Robot Interaction in Healthcare Scenarios., , , und . SEFM, Volume 12310 von Lecture Notes in Computer Science, Seite 303-324. Springer, (2020)Model-driven Risk Analysis for the Design of Safe Collaborative Robotic Applications., , , , und . ICHMS, Seite 1-6. IEEE, (2020)Model-driven development of formally verified human-robot interactions. Polytechnic University of Milan, Italy, (2023)A Deployment Framework for Formally Verified Human-Robot Interactions., , , und . IEEE Access, (2021)Towards Better Trust in Human-Machine Teaming through Explainable Dependability., , , , , und . ICSA-C, Seite 86-90. IEEE, (2023)Towards Verifiable Multi-Agent Interaction Pattern Specification., , und . FormaliSE@ICSE, Seite 122-126. ACM, (2024)A Conceptual Framework for Explainability Requirements in Software-Intensive Systems., , , , , und . REW, Seite 309-315. IEEE, (2023)