( en | de | ru )

 

Disambiguierung von "Farrell, Marie"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Using dafny to solve the VerifyThis 2021 challenges.

, , und . FTfJP@ECOOP, Seite 32-38. ACM, (2021)

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.

Cailin Farrell

Ralph Farrell

Charlotte Farrell

Ryan Farrell

Jennifer Farrell

 

Weitere Publikationen von Autoren mit dem selben Namen

Modelling the Turtle Python library in CSP., , , und . AREA@IJCAI-ECAI, Volume 362 von EPTCS, Seite 15-22. (2022)Evolution of the IEEE P7009 Standard: Towards Fail-Safe Design of Autonomous Systems., , , , , , , und . ISSRE Workshops, Seite 401-406. IEEE, (2021)Rooting Formal Methods Within Higher Education Curricula for Computer Science and Software Engineering - A White Paper -., , , , , , , , , und 3 andere Autor(en). FMFun, Volume 1301 von Communications in Computer and Information Science, Seite 1-26. Springer, (2019)Using Threat Analysis Techniques to Guide Formal Verification: A Case Study of Cooperative Awareness Messages., , , , , , und . SEFM, Volume 11724 von Lecture Notes in Computer Science, Seite 471-490. Springer, (2019)FRETting and Formal Modelling: A Mechanical Lung Ventilator., , , , und . ABZ, Volume 14759 von Lecture Notes in Computer Science, Seite 360-383. Springer, (2024)Using dafny to solve the VerifyThis 2021 challenges., , und . FTfJP@ECOOP, Seite 32-38. ACM, (2021)Robotics: A New Mission for FRET Requirements., , , , und . NFM, Volume 14627 von Lecture Notes in Computer Science, Seite 359-376. Springer, (2024)An Institution for Event-B., , und . WADT, Volume 10644 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2016)Journal-First: Formal Modelling and Runtime Verification of Autonomous Grasping for Active Debris Removal., , , , und . IFM, Volume 13274 von Lecture Notes in Computer Science, Seite 39-44. Springer, (2022)Integrating Formal Verification and Assurance: An Inspection Rover Case Study., , , , , , und . NFM, Volume 12673 von Lecture Notes in Computer Science, Seite 53-71. Springer, (2021)