| Title: |
Verifying Autonomic Fault Mitigation Strategies in Large Scale Real-Time Systems |
| Authors: |
Dubey, A.; Nordstrom, S.; Keskinpala, T.; Neema, S.; Bapty, T. |
| Source: |
Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems (EASE'06) Engineering of Autonomic and Autonomous Systems, 2006. EASe 2006. Proceedings of the Third IEEE International Workshop on. :129-140 2006 |
| Relation: |
Third IEEE International Workshop on Engineering of Autonomic & Autonomous Systems |
| Database: |
IEEE Xplore Digital Library |