Search Results - Ninh-Thuan Truong
-
1
-
2
-
3
-
4
-
5
-
6
Coordinated Consensus Analysis of Multi-agent Systems Using Event-B
Conference Proceeding -
7
A Fast Algorithm to Compute Heap Memory Bounds of Java Card Applets
Conference Proceeding -
8
Checking the Consistency between UCM and PSM Using a Graph-Based Method
Conference Proceeding -
9
Refining Undetermined Events for Specifying Concurrent Programs
Conference Proceeding -
10
-
11
A Runtime Approach to Verify Scenario in Multi-agent Systems
Conference Proceeding -
12
Checking the Compliance of Timing Constraints in Software Applications
Conference Proceeding -
13