( en | de | ru )

 

Disambiguierung von "Morris, Karla"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal Verification of Run-to-Completion Style Statecharts Using Event-B.

, , , , , und . ECSA Companion, Volume 1269 von Communications in Computer and Information Science, Seite 311-325. Springer, (2020)

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.

Grammatiki Karla

Wolfgang Fritz Karla

Wolfgang Karlas

Annette Karla

Anna Karla

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal verification and validation of run-to-completion style state charts using Event-B., , , , , und . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)On the object-oriented design of reference-counted shadow objects., , und . SE-CSE@ICSE, Seite 19-27. ACM, (2011)Q: A Sound Verification Framework for Statecharts and Their Implementations., , , , , , , und . FTSCS, Seite 16-26. ACM, (2022)A case study: agile development in the community laser-induced incandescence modeling environment (CLiiME)., , , und . SE-CSE@ICSE, Seite 9-18. IEEE Computer Society, (2013)Test-driven coarray parallelization of a legacy Fortran application., , , , und . SE-HPCCSE@SC, Seite 33-40. ACM, (2013)Scalability of Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults., , , , , , , , und . ISC, Volume 9697 von Lecture Notes in Computer Science, Seite 469-485. Springer, (2016)Raising the Bar: Assurance Cases for Scientific Software., , , , und . Comput. Sci. Eng., 23 (1): 47-57 (2021)Performance Scaling Variability and Energy Analysis for a Resilient ULFM-based PDE Solver., , , , , , , , und . ScalA@SC, Seite 41-48. IEEE Computer Society, (2016)Partial Differential Equations Preconditioner Resilient to Soft and Hard Faults., , , , , , , und . CLUSTER, Seite 552-562. IEEE Computer Society, (2015)Refinement and Verification of Responsive Control Systems., , , , , und . ABZ, Volume 12071 von Lecture Notes in Computer Science, Seite 272-277. Springer, (2020)