학술논문
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems
Document Type
Article
Author
Source
In: Innovations in Systems and Software Engineering . (Innovations in Systems and Software Engineering, March 2007, 3(1):33-52)
Subject
Language
English
ISSN
16145046
16145054
16145054