Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems

✍ Scribed by Abhishek Dubey; Steve Nordstrom; Turker Keskinpala; Sandeep Neema; Ted Bapty; Gabor Karsai

• Publisher: Springer
• Year: 2007
• Tongue: English
• Weight: 760 KB
• Volume: 3
• Category: Article
• ISSN: 1614-5046
• DOI: 10.1007/s11334-006-0015-7