Dynamic synthesis of local time requirement for service composition
10.1109/ICSE.2013.6606600
محفوظ في:
المؤلفون الرئيسيون: | Tan, T.H., Andre, E., Sun, J., Liu, Y., Dong, J.S., Chen, M. |
---|---|
مؤلفون آخرون: | COMPUTER SCIENCE |
التنسيق: | Conference or Workshop Item |
منشور في: |
2014
|
الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/78112 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
المؤسسة: | National University of Singapore |
مواد مشابهة
-
Dynamic synthesis of local time requirement for service composition
بواسطة: TAN, Tian Huat, وآخرون
منشور في: (2013) -
Automated synthesis of local time requirement for service composition
بواسطة: André, Étienne, وآخرون
منشور في: (2021) -
Automated synthesis of local time requirement for service composition
بواسطة: ANDRÉ, Étienne, وآخرون
منشور في: (2020) -
Automated synthesis of local time requirement for service composition
بواسطة: ANDRÉ, Étienne, وآخرون
منشور في: (2020) -
Automatic compositional verification of timed systems
بواسطة: Lin, S.-W., وآخرون
منشور في: (2013)