Search Results - Mingyue Jiang
-
121
-
122
-
123
-
124
-
125
-
126
-
127
-
128
-
129
-
130
-
131
-
132
-
133
-
134
Formal modeling and verification of secure mobile agent systems
Conference Proceeding -
135
-
136
-
137
Modelling and Verification of Port Based Component Composition
Conference Proceeding -
138
Rebuilding Web Application Requirements Based on User Navigation
Conference Proceeding -
139
-
140