Autor der Publikation

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

Verifying CPS Using DDL., , , und . Intelligent Environments (Workshops), Volume 22 von Ambient Intelligence and Smart Environments, Seite 15-24. IOS Press, (2017)An Extension to Robustness Slicing Algorithm Based on Dynamic Array., , und . SNPD, Seite 77-84. IEEE Computer Society, (2006)A Systematic Mapping Study on the Verification of Cyber-Physical Systems., , , und . IEEE Access, (2018)On Testing Multi-threaded Java Programs., , , und . SNPD (1), Seite 702-706. IEEE Computer Society, (2007)A Framework for CPS Modeling and Verification Based on dL., , , und . ICIS, Seite 173-179. IEEE Computer Society, (2018)WSTester: Testing Web Service for Behavior Conformance., , , , und . SEKE, Seite 456-459. Knowledge Systems Institute Graduate School, (2009)A Formal Model for Web Service Composition and Its Application Analysis., , , und . APSCC, Seite 204-210. IEEE Computer Society, (2007)Verifying CPS for Self-Adaptability., , , und . ICIS, Seite 166-172. IEEE Computer Society, (2018)A PSC-Based Approach to Monitor the Timed Properties in Web Service Compositions., , , und . COMPSAC, Seite 112-115. IEEE Computer Society, (2008)A user-oriented Web service reliability model., , , und . SMC, Seite 3612-3617. IEEE, (2008)