( en | de | ru )

 

Disambiguierung von "Morris, Karla"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Discovering Metamorphic Relations for Scientific Software From User Forums.

, , , , , und . Comput. Sci. Eng., 23 (2): 65-72 (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.

Grammatiki Karla

Wolfgang Karlas

Wolfgang Fritz Karla

Annette Karla

Anna Karla

 

Weitere Publikationen von Autoren mit dem selben Namen

Formal constraints on memory management for composite overloaded operations., , und . Sci. Program., 14 (1): 27-40 (2006)Formal verification and validation of run-to-completion style state charts using Event-B., , , , , und . Innov. Syst. Softw. Eng., 18 (4): 523-541 (2022)Q: A Sound Verification Framework for Statecharts and Their Implementations., , , , , , , und . FTSCS, Seite 16-26. ACM, (2022)On the object-oriented design of reference-counted shadow objects., , und . SE-CSE@ICSE, Seite 19-27. ACM, (2011)Using Coarrays to Parallelize Legacy Fortran Applications: Strategy and Case Study., , , , und . Sci. Program., (2015)Emulating Multiple Inheritance in Fortran 2003/2008.. Sci. Program., (2015)Dynamic Memory De-allocation in Fortran 95/2003 derived type calculus., , und . Sci. Program., 13 (3): 189-203 (2005)Discovering Metamorphic Relations for Scientific Software From User Forums., , , , , und . Comput. Sci. Eng., 23 (2): 65-72 (2021)Refinement of Statecharts with Run-to-Completion Semantics., , , , und . FTSCS, Volume 1008 von Communications in Computer and Information Science, Seite 121-138. Springer, (2018)Exploring capabilities within ForTrilinos by solving the 3D Burgers equation., , , und . Sci. Program., 20 (3): 275-292 (2012)