PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Huhn, Michaela"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
JREP: Extending Repast Simphony for JADE Agent Behavior Components.

, , , , und . IAT, Seite 149-154. IEEE Computer Society, (2011)978-0-7695-4513-4.

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.

Michaela Gruber University of Stuttgart

Michaela Denzel University of Stuttgart

Michaela Suttner University of Stuttgart

Michaela Mey University of Stuttgart

Michaela Beierl University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

A Process Algebra Semantics for MSC Including Conditions., , , , und . FBT, Seite 185-196. Verlag Shaker, (1998)Partial Order Algorithms for Model-based Diagnosis of Discrete Event Systems., und . MBEES, Volume 2009-01 von Informatik-Bericht, Seite 103-114. TU Braunschweig, Institut für Software Systems Engineering, (2009)Some Observations on SCADE Model Clones., und . MBEES, Seite 97-106. fortiss GmbH, München, (2010)Profiling of Modelica Real-Time Models., , und . EOOLT, Volume 47 von Linköping Electronic Conference Proceedings, Seite 23-31. Linköping University Electronic Press, (2010)Minimizing Test Execution Time During Test Generation., und . SET, Volume 227 von IFIP, Seite 223-235. Springer, (2006)Generation of Optimized Testsuites for UML Statecharts with Time., und . TestCom, Volume 2978 von Lecture Notes in Computer Science, Seite 128-143. Springer, (2004)Analysing Dependability Case Arguments Using Quality Models., und . SAFECOMP, Volume 5775 von Lecture Notes in Computer Science, Seite 118-131. Springer, (2009)Model Checking Logics for Communicating Sequential Agents., , und . FoSSaCS, Volume 1578 von Lecture Notes in Computer Science, Seite 227-242. Springer, (1999)Verification Based on Local States., , und . TACAS, Volume 1384 von Lecture Notes in Computer Science, Seite 36-51. Springer, (1998)Architecture Potential Analysis: A Closer Look inside Architecture Evaluation., und . JSW, 2 (4): 43-56 (2007)