Autor der Publikation

Formal specification and reasoning for situated multi-agent system.

, und . ICIS, Seite 455-460. IEEE Computer Society, (2015)

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.

Keine Personen gefunden für den Autorennamen Miao, Huaikou
Eine Person hinzufügen mit dem Namen Miao, Huaikou
 

Weitere Publikationen von Autoren mit dem selben Namen

A Novel Approach for On-the-Fly Test Cases Synthesis., , und . SNPD, Seite 575-578. IEEE Computer Society, (2009)Test Suite Reduction Using Weighted Set Covering Techniques., , und . SNPD, Seite 307-312. IEEE Computer Society, (2012)Towards Automatically Generating Test Paths for Web Application Testing., , und . TASE, Seite 211-218. IEEE Computer Society, (2008)Towards Practical Modeling of Web Applications and Generating Tests., , , und . TASE, Seite 209-217. IEEE Computer Society, (2010)Probabilistic Timed Model Checking for Atomic Web Service., , , und . SERVICES, Seite 459-466. IEEE Computer Society, (2011)A Design Pattern Verifier in Two-Tier Programming Environment., , und . CIT, Seite 1081-1086. IEEE Computer Society, (2004)A Formalized Abstract Component Object Mode - Z-COM., , und . TOOLS (36), Seite 250-259. IEEE Computer Society, (2000)Location Transparent Communications in Mobile Agent Systems., , und . IITA, Seite 200-205. IEEE Computer Society, (2007)Reliability modeling and verification of BPEL-based web services composition by probabilistic model checking., , , und . SERA, Seite 149-154. IEEE Computer Society, (2016)An approach to service dynamic reconfiguration using probabilistic model checking.. ICIS, Seite 3. IEEE Computer Society, (2013)