Formal Modeling and Analysis of Timed Systems
The 17 revised full papers presented together with 3 invited talks were carefully reviewed and selected from 37 submissions. The papers are organized in topical sections on extensions of timed automata and semantics; timed games and logic; case studies; model-checking of probabilistic systems; verif...
محفوظ في:
مؤلفون آخرون: | Cassez, Franck |
---|---|
التنسيق: | كتاب |
اللغة: | English |
منشور في: |
Springer
2017
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://repository.vnu.edu.vn/handle/VNU_123/26374 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
Formal Techniques for Networked and Distributed Systems - FORTE 2008
منشور في: (2017) -
Parametric model checking timed automata under non-Zenoness assumption
بواسطة: ANDRE, Étienne, وآخرون
منشور في: (2017) -
Formal analysis of pervasive computing systems
بواسطة: Liu, Y., وآخرون
منشور في: (2013) -
Classification-based parameter synthesis for parametric timed automata
بواسطة: LI, Jiaying, وآخرون
منشور في: (2017) -
A Self-paced Tutoring System, ILSA: Which System Utilization aligned with Learners' Goal Orientations?
بواسطة: Tecson, Cesar A, وآخرون
منشور في: (2021)