PUMA

Akademisches Publikationsmanagement
Publikationen sammeln, verwalten und teilen.

( en | de )

 

Disambiguierung von "Yeung, Wing Lok"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach.

, , und . Journal of Systems and Software, 79 (7): 962-968 (2006)

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.

Dharshan Lokekere Gopal University of Stuttgart

 

Weitere Publikationen von Autoren mit dem selben Namen

Accessing embedded program in untestable mobile environment: Experience of a trustworthiness approach., , und . Journal of Systems and Software, 79 (7): 962-968 (2006)A Synergistic Interweaving of Formal and Informal Methods., und . COMPSAC, Seite 257-262. IEEE Computer Society, (2003)Deriving Test Cases from B Machines Using Class Vectors., und . MSVVEIS, Seite 71-76. INSTICC Press, (2005)Design and Verification of Distributed Recovery Blocks with CSP., und . Formal Methods in System Design, 22 (3): 225-248 (2003)System development with communicating sequential processes : formalisation and related studies.. Staffordshire University, UK, (1991)British Library, EThOS.Verifying Choreographic Descriptions of Web Services Based on CSP., , und . SCW, Seite 97-104. IEEE Computer Society, (2006)An Interface Theory Based Approach to Verification of Web Services., , , , und . COMPSAC (2), Seite 139-144. IEEE Computer Society, (2006)0-7695-2655-1.Efficiency of task allocation based on contract net protocol with audience restriction in a manufacturing control application.. Int. J. Computer Integrated Manufacturing, 31 (10): 1005-1017 (2018)Formalizing exception handling in WS-CDL and WS-BPEL for conformance verification.. SOCA, Seite 1-8. IEEE Computer Society, (2009)Modelling and model checking suspendible business processes via statechart diagrams and CSP., , , und . Sci. Comput. Program., 65 (1): 14-29 (2007)