PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Cloth, Lucia"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
07101 Working Group Report -- Performance Measures Other Than Time.

, , , , , , , und . Quantitative Aspects of Embedded Systems, Volume 07101 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)

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.

Lucia Sauter University of Stuttgart

Adina Lucia Simonovic University of Stuttgart

Lucia-Tatjana Katava University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Model Checking Performability Properties., , , , und . DSN, Seite 103-112. IEEE Computer Society, (2002)Using Max-Plus Algebra for the Evaluation of Stochastic Process Algebra Prefixes., , und . PAPM-PROBMIV, Volume 2165 von Lecture Notes in Computer Science, Seite 152-167. Springer, (2001)Mean-Field Analysis for the Evaluation of Gossip Protocols., , , und . QEST, Seite 247-256. IEEE Computer Society, (2009)The Performability Tool P'ility., und . QEST, Seite 117-118. IEEE Computer Society, (2008)Model Checking Action- and State-Labelled Markov Chains., , , , und . DSN, Seite 701-710. IEEE Computer Society, (2004)Model Checking for Survivability., und . QEST, Seite 145-154. IEEE Computer Society, (2005)Computing Battery Lifetime Distributions., , und . DSN, Seite 780-789. IEEE Computer Society, (2007)07101 Working Group Report -- Performance Measures Other Than Time., , , , , , , und . Quantitative Aspects of Embedded Systems, Volume 07101 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2007)CSL model checking algorithms for QBDs., , und . Theor. Comput. Sci., 382 (1): 24-41 (2007)Quantitative Evaluation in Embedded System Design: Predicting Battery Lifetime in Mobile Devices., und . DATE, Seite 90-91. ACM, (2008)