About
About the Data Science Association
Code of Conduct
International Journal of Data Science - Call for Papers - Deadline September 1, 2023 for Next Issue
Contact
Membership
Resources
Library
Data Science News
Committees
Wisdom
You are here
Home
» Modular Verification of Dynamically Adaptive Systems
Modular Verification of Dynamically Adaptive Systems
On
17 May, 2014
By
admin
0 Comments
Attachment:
Modular Verification of Dynamically Adaptive Systems.pdf
Resource Type:
Academic Paper
Tags:
Modular Verification
Dynamically Adaptive Systems
Linear Temporal Logic
Dynamic Adaptation
Reliability
Autonomic Computing
Global Invariants
Formal Specification
Verification
Modular Model Checking