State space reduction for sensor networks using two-level partial order reduction
10.1007/978-3-642-35873-9_30
محفوظ في:
المؤلفون الرئيسيون: | Zheng, M., Sanań, D., Sun, J., Liu, Y., Dong, J.S., Gu, Y. |
---|---|
مؤلفون آخرون: | COMPUTER SCIENCE |
التنسيق: | Conference or Workshop Item |
منشور في: |
2014
|
الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/78358 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
State space reduction for sensor networks using two-level partial order reduction
بواسطة: ZHENG, Manchun, وآخرون
منشور في: (2013) -
Verification of orchestration systems using compositional partial order reduction
بواسطة: Tan, T.H., وآخرون
منشور في: (2013) -
On combining state space reductions with global fairness assumptions
بواسطة: Zhang, S.J., وآخرون
منشور في: (2013) -
Verification of orchestration systems using compositional partial order reduction
بواسطة: TAN, Tian Huat, وآخرون
منشور في: (2011) -
On combining state space reductions with global fairness assumptions
بواسطة: ZHANG, Shao Jie, وآخرون
منشور في: (2011)