( en | de | ru )

 

Disambiguierung von "Monahan, Rosemary"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
An Institution for Event-B.

, , und . WADT, Volume 10644 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2016)

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.

Kelly Monahan

Rosemary Passos

Rosemary Combridge

Rosemary Burton

Rosemary Atieno

 

Weitere Publikationen von Autoren mit dem selben Namen

A Sound Execution Semantics for ATL via Translation Validation - Research Paper., , und . ICMT, Volume 9152 von Lecture Notes in Computer Science, Seite 133-148. Springer, (2015)An Institution for Event-B., , und . WADT, Volume 10644 von Lecture Notes in Computer Science, Seite 104-119. Springer, (2016)Rich and Expressive Specification of Continuous-Learning Cyber-Physical Systems., , und . DSN-S, Seite 197-199. IEEE, (2023)Creating new Program Proofs by Combining Abductive and Deductive Reasoning., , und . ICCC, Seite 395-399. Association for Computational Creativity (ACC), (2021)A computational thinking module for secondary students and pre-service teachers using Bebras-style tasks., , , , , und . UKICER, Seite 19:1. ACM, (2022)Evaluating the use of a general-purpose benchmark suite for domain-specific SMT-solving., , und . SAC, Seite 1558-1561. ACM, (2016)Specification Clones: An Empirical Study of the Structure of Event-B Specifications., , und . SEFM, Volume 10469 von Lecture Notes in Computer Science, Seite 152-167. Springer, (2017)Dafny Meets the Verification Benchmarks Challenge., und . VSTTE, Volume 6217 von Lecture Notes in Computer Science, Seite 112-126. Springer, (2010)FRETting About Requirements: Formalised Requirements for an Aircraft Engine Controller., , , und . REFSQ, Volume 13216 von Lecture Notes in Computer Science, Seite 96-111. Springer, (2022)Verifying SimpleGT Transformations Using an Intermediate Verification Language., , und . VOLT@STAF, Volume 1530 von CEUR Workshop Proceedings, Seite 12-19. CEUR-WS.org, (2015)