Automatic compositional verification of timed systems

10.1007/978-3-642-32759-9_24

محفوظ في:

التفاصيل البيبلوغرافية
المؤلفون الرئيسيون:	Lin, S.-W., Liu, Y., Sun, J., Dong, J.S., André, É.
مؤلفون آخرون:	TEMASEK LABORATORIES
التنسيق:	Conference or Workshop Item
منشور في:	2013
الوصول للمادة أونلاين:	http://scholarbank.nus.edu.sg/handle/10635/43165
الوسوم:	إضافة وسم لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!

مواد مشابهة