( en | de | ru )

 

Disambiguierung von "Amyot, Daniel"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Revisiting Formal Verification in VeriSolid: An Analysis and Enhancements.

, , , und . OVERLAY@AI*IA, Volume 3629 von CEUR Workshop Proceedings, Seite 55-60. CEUR-WS.org, (2023)

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.

Daniel

Daniel

Daniel Stanze

Systematische Analyse von Rezeptoren und Effektormechanismen der pulmonalen angeborenen Immunität. Uni Marburg, (2009)

Daniel Wied

Zivilprozessuale Qualifikationsprobleme im Spannungsfeld von Vertrag und Delikt: ein Beitrag zur Auslegung nationalen Zivilprozessrechts in europäischer Perspektive. Uni Regensburg, (2009)

Daniel Dirkmann

In-vitro-Untersuchungen zum Effekt von Hypothermie und Azidose auf Variablen thrombelastometrischer Messungen der Blutgerinnung. Uni Duisburg-Essen, (2009)
 

Weitere Publikationen von Autoren mit dem selben Namen

Directions in feature interaction research., und . Comput. Networks, 45 (5): 563-567 (2004)Reasoning with Key Performance Indicators., , , und . PoEM, Volume 92 von Lecture Notes in Business Information Processing, Seite 82-96. Springer, (2011)Towards the Generation of Tests in the Test Description Language from Use Case Map Models., , und . SDL Forum, Volume 9369 von Lecture Notes in Computer Science, Seite 193-201. Springer, (2015)Deriving Message Sequence Charts from Use Case Maps Scenario Specifications., , , , und . SDL Forum, Volume 2078 von Lecture Notes in Computer Science, Seite 268-287. Springer, (2001)Composite Indicators for Business Intelligence., , , und . ER, Volume 6998 von Lecture Notes in Computer Science, Seite 448-458. Springer, (2011)Evaluation of Development Tools for Domain-Specific Modeling Languages., , und . SAM, Volume 4320 von Lecture Notes in Computer Science, Seite 183-197. Springer, (2006)Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study., , , und . LNCS Trans. Aspect Oriented Softw. Dev., (2010)Towards Model-Based Support for Managing Organizational Transformation., , , , und . MCETECH, Volume 78 von Lecture Notes in Business Information Processing, Seite 17-31. Springer, (2011)Toward a Goal-Oriented, Business Intelligence Decision-Making Framework., , und . MCETECH, Volume 78 von Lecture Notes in Business Information Processing, Seite 100-115. Springer, (2011)An empirical approach toward the resolution of conflicts in goal-oriented models., und . Softw. Syst. Model., 16 (1): 279-306 (2017)