Probabilistic verification and analysis of biopathway dynamics
Ph.D
محفوظ في:
المؤلف الرئيسي: | SUCHEENDRA KUMAR PALANIAPPAN |
---|---|
مؤلفون آخرون: | COMPUTER SCIENCE |
التنسيق: | Theses and Dissertations |
اللغة: | English |
منشور في: |
2013
|
الموضوعات: | |
الوصول للمادة أونلاين: | http://scholarbank.nus.edu.sg/handle/10635/43755 |
الوسوم: |
إضافة وسم
لا توجد وسوم, كن أول من يضع وسما على هذه التسجيلة!
|
مواد مشابهة
-
APPLICATIONS OF PERTURBATION ANALYSIS IN PROBABILISTIC MODEL CHECKING
بواسطة: YAMILET ROSARIO SERRANO LLERENA
منشور في: (2018) -
Approximate verification of the symbolic dynamics of markov chains
بواسطة: Agrawal, M., وآخرون
منشور في: (2013) -
Analyzing multi-agent systems with probabilistic model checking approach
بواسطة: Song, S., وآخرون
منشور في: (2013) -
Towards Model-checking Probabilistic Timed Automata against Probabilistic Duration Properties
بواسطة: Dang, Van Hung, وآخرون
منشور في: (2017) -
Probabilistic Approaches to Modeling Uncertainty in Biological Pathway Dynamics
بواسطة: BENJAMIN MATE GYORI
منشور في: (2014)