( en | de | ru )

 

Disambiguation of "Amyot, Daniel"

Author of the publication

copydeleteadd this publication to your clipboard
Formal Support for Design Techniques: A Timethreads-LOTOS Approach.

, , , and . FORTE, volume 43 of IFIP Conference Proceedings, page 57-72. Chapman & Hall, (1995)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

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)
 

Other publications of authors with the same name

An empirical approach toward the resolution of conflicts in goal-oriented models., and . Softw. Syst. Model., 16 (1): 279-306 (2017)Subcontracting, Assignment, and Substitution for Legal Contracts in Symboleo., , , , and . ER, volume 12400 of Lecture Notes in Computer Science, page 271-285. Springer, (2020)Synergy between Activity Theory and goal/scenario modeling for requirements elicitation, analysis, and evolution., , , , , , and . Inf. Softw. Technol., (2015)A Review on the Contribution of Emergency Department Simulation Studies in Reducing Wait Time., and . Int. J. E Health Medical Commun., 8 (3): 1-21 (2017)Specification and analysis of legal contracts with Symboleo., , , , , , , and . Softw. Syst. Model., 21 (6): 2395-2427 (2022)Modeling and detecting semantic-based interactions in aspect-oriented scenarios., , and . Requir. Eng., 15 (2): 197-214 (2010)Evaluation of Development Tools for Domain-Specific Modeling Languages., , and . SAM, volume 4320 of Lecture Notes in Computer Science, page 183-197. Springer, (2006)Requirements Modeling with the Aspect-oriented User Requirements Notation (AoURN): A Case Study., , , and . LNCS Trans. Aspect Oriented Softw. Dev., (2010)Towards the Generation of Tests in the Test Description Language from Use Case Map Models., , and . SDL Forum, volume 9369 of Lecture Notes in Computer Science, page 193-201. Springer, (2015)Deriving Message Sequence Charts from Use Case Maps Scenario Specifications., , , , and . SDL Forum, volume 2078 of Lecture Notes in Computer Science, page 268-287. Springer, (2001)