( en | de | ru )

 

Disambiguierung von "Carnevali, Laura"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Eulero: A Tool for Quantitative Modeling and Evaluation of Complex Workflows.

, , und . QEST, Volume 13479 von Lecture Notes in Computer Science, Seite 255-272. Springer, (2022)

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.

Mario Laura

Marco Laurati

Laura Dreiner

Anatomisch-histologische Variationen des Labrum glenoidale bei erwachsenen Hunden verschiedener Rassen im Vergleich zum jungen Beagle unter besonderer Berücksichtigung des Kollagenfaserverlaufs. Uni Gießen, (2009)

Laura Oberlin

Behandlung von Pankreaskarzinomzelllinien in vitro und in vivo mit einem monoklonalen Antikörper gegen den Transferrinrezeptor. Uni Gießen, (2009)

Laura Polen

 

Weitere Publikationen von Autoren mit dem selben Namen

Flood Resilience of a Water Distribution System., , , , und . Resilience of Cyber-Physical Systems, Springer, (2019)The ORIS Tool: Quantitative Evaluation of Non-Markovian Systems., , , und . IEEE Trans. Software Eng., 47 (6): 1211-1225 (2021)Formal methods in the development life cycle of real-time software.. University of Florence, Italy, (2010)Combining UML-MARTE and Preemptive Time Petri Nets: An Industrial Case Study., , , und . IEEE Trans. Ind. Informatics, 9 (4): 1806-1818 (2013)Quantitative evaluation of availability measures of gas distribution networks., , , und . VALUETOOLS, Seite 145-154. ICST/ACM, (2013)Software rejuvenation impacts on a phased-mission system for Mars exploration., , , , und . ISSRE (Supplemental Proceedings), Seite 275-280. IEEE Computer Society, (2013)Compositional Evaluation of Stochastic Workflows for Response Time Analysis of Composite Web Services., , und . ICPE, Seite 177-188. ACM, (2021)Using Stochastic State Classes in Quantitative Evaluation of Dense-Time Reactive Systems., , und . IEEE Trans. Software Eng., 35 (5): 703-719 (2009)Sensitization of symbolic runs in real-time testing using the ORIS tool., , und . ETFA, Seite 85-92. IEEE, (2007)Oris: a tool for modeling, verification and evaluation of real-time systems., , , und . Int. J. Softw. Tools Technol. Transf., 12 (5): 391-403 (2010)