Autor der Publikation

Fallstudie zur Modellierung von Software-Entwicklungsprozessen auf Basis von SPEM 2.0.

, , , und . Software Engineering, Volume P-121 von LNI, Seite 67-74. GI, (2008)

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.

 

Weitere Publikationen von Autoren mit dem selben Namen

Question-guided stubborn set methods for state properties., , und . Formal Methods Syst. Des., 29 (3): 215-251 (2006)Erfahrungen bei der modellbasierten Entwicklung von Fahrwerksregelfunktionen im AUTOSAR-Umfeld und notwendige Entwicklungsschritte., und . MBEES, Volume 2009-01 von Informatik-Bericht, Seite 67-74. TU Braunschweig, Institut für Software Systems Engineering, (2009)Automated generation of a progress measure for the sweep-line method.. Int. J. Softw. Tools Technol. Transf., 8 (3): 195-203 (2006)Parameterized Reachability Trees for Algebraic Petri Nets.. Application and Theory of Petri Nets, Volume 935 von Lecture Notes in Computer Science, Seite 392-411. Springer, (1995)Integrating Low Level Symmetries into Reachability Analysis.. TACAS, Volume 1785 von Lecture Notes in Computer Science, Seite 315-330. Springer, (2000)Einige Schätzansätze bei klassierten Daten der endogenen Variable im linearen Regressionsmodell. Arbeitspapiere aus dem Arbeitskreis Sozialwissenschaftliche Arbeitsmarktforschung, SAMF SAMF, Paderborn, (1984)Autonomes Index Tuning - DBMS-integrierte Verwaltung von Soft Indexen., , , und . BTW, Volume P-103 von LNI, Seite 152-171. GI, (2007)Controllability of Open Workflow Nets.. EMISA, Volume P-75 von LNI, Seite 236-249. GI, (2005)The Aeolus Data Innovation and Science Cluster., , , , , , , , , und 37 andere Autor(en). IGARSS, Seite 759-762. IEEE, (2021)Towards Spiking Control for Dielectric Elastomer Actuators., , , , , und . ICCMA, Seite 445-451. IEEE, (2023)