0 | -- | 0 | Amel Benabbou, Safia Nait Bahloul, Philippe Dhaussy. Context-aware approach for formal verification |
0 | -- | 0 | Phan Cong Vinh, Nguyen Minh Truong. Products, Coproducts and Universal Properties of Autonomic Systems |
0 | -- | 0 | Derrick Ntalasha, Renfa Li, Yongheng Wang. Internet of Thing Context Awareness Model |
0 | -- | 0 | Hoang Van Tran, Hiep Xuan Huynh, Vinh Cong Phan, Bernard Pottier. A federation of simulations based on cellular automata in cyber-physical systems |
4 | -- | 0 | Tran Minh Bao, Truong Cong Tuan, Huynh Trong Duc. Querying Object-Oriented Databases Based on Signature Graph and n-ary Tree |