scholarly journals Probabilistic Verification at Runtime for Self-Adaptive Systems

2013 ◽  
pp. 30-59 ◽  
Author(s):  
Antonio Filieri ◽  
Giordano Tamburrelli
Keyword(s):  
Adaptive Systems ◽  
Probabilistic Verification ◽  
Self Adaptive

scholarly journals Modeling and verification of Functional and Non-Functional Requirements of ambient Self-Adaptive Systems

2015 ◽  
Vol 107 ◽  
pp. 50-70 ◽  
Author(s):  
Manzoor Ahmad ◽  
Nicolas Belloir ◽  
Jean-Michel Bruel
Keyword(s):  
Adaptive Systems ◽  
Functional Requirements ◽  
Self Adaptive

scholarly journals A fast Reconfigurable 2D HW core architecture on FPGAs for evolvable Self-Adaptive Systems

2011 ◽  
Author(s):  
Andres Otero ◽  
Ruben Salvador ◽  
Javier Mora ◽  
Eduardo de la Torre ◽  
Teresa Riesgo ◽  
...  
Keyword(s):  
Adaptive Systems ◽  
Self Adaptive
Sign in / Sign up

Export Citation Format

Share Document