PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Daw, Zamira"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Formal verification of software-based medical devices considering medical guidelines.

, , und . Int. J. Comput. Assist. Radiol. Surg., 9 (1): 145-153 (2014)

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.

Univ. -Prof. Dr. -Ing. Zamira Angelica Daw Perez University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Deterministic UML Models for Interconnected Activities and State Machines., und . MoDELS, Volume 5795 von Lecture Notes in Computer Science, Seite 556-570. Springer, (2009)An Extensible Operational Semantics for UML Activity Diagrams., und . SEFM, Volume 9276 von Lecture Notes in Computer Science, Seite 360-368. Springer, (2015)An extensible formal semantics for UML activity diagrams., und . CoRR, (2016)Integrating model checking and UML based model-driven development for embedded systems., , und . ECEASST, (2013)Towards safe data flow processing by integration of design by contract in deterministic UML activities., , und . ICAT, Seite 1-6. IEEE, (2011)Generation of Deterministic MCU/FPGA Hybrid Systems from UML Activities., , , und . FPL, Seite 340-345. IEEE Computer Society, (2010)UML-VT: A Formal Verification Environment for UML Activity Diagrams., , und . P&D@MoDELS, Volume 1554 von CEUR Workshop Proceedings, Seite 48-51. CEUR-WS.org, (2015)Comparing model checkers for timed UML activity diagrams., und . Sci. Comput. Program., (2015)Methoden zur Entwicklung sicherheitskritischer eingebetter Systeme mittels deterministescher UML-Modelle., , und . Softwaretechnik-Trends, (2009)Formal verification of software-based medical devices considering medical guidelines., , und . Int. J. Comput. Assist. Radiol. Surg., 9 (1): 145-153 (2014)