Autor der Publikation

A Synergistic Interweaving of Formal and Informal Methods.

, und . COMPSAC, Seite 257-262. IEEE Computer Society, (2003)

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.

Dipl.-Ing. Karl Kübler

Approach for manufacturer independent automated machine tool control software test, , , , und . Progress in production engineering; selected, peer reviewed papers from the 2015 WGP Congress, September 7 - 8, 2015, Hamburg, Germany, 794, Seite 347-354. Pfaffikon, Trans Tech Publ., (2015)
 

Weitere Publikationen von Autoren mit dem selben Namen

On the efficiency of domain-based COTS product selection method., und . Information & Software Technology, 44 (12): 703-715 (2002)Towards a More Efficient Way of Generating Test Cases: Class Graphs., und . APAQS, Seite 285-296. IEEE Computer Society, (2000)Extending Statecharts with Duration., und . COMPSAC, Seite 246-251. IEEE Computer Society, (1996)Liaison: A Workflow Model for Novel Applications., , , und . APSEC, Seite 144-. IEEE Computer Society, (1998)Deriving test cases using class vectors., und . APSEC, Seite 146-153. IEEE Computer Society, (2000)Using Hypergraph as Modeling Language for Generating Test Cases On Demand.. APSEC, Seite 519-526. IEEE Computer Society, (2004)The Liaison Workflow Engine Architecture., und . HICSS, IEEE Computer Society, (1999)Location Estimation via Support Vector Regression., , , und . IEEE Trans. Mob. Comput., 6 (3): 311-321 (2007)Data scheduling for multi-item requests in multi-channel on-demand broadcast environments., , und . MobiDE, Seite 47-54. ACM, (2008)A Synergistic Interweaving of Formal and Informal Methods., und . COMPSAC, Seite 257-262. IEEE Computer Society, (2003)