Title of article :
Dependability through Assured Reconfiguration in Embedded System Software
Author/Authors :
Elisabeth A. Strunk، نويسنده , , IEEE Computer Society
John C. Knight، نويسنده , , IEEE Computer Society
، نويسنده ,
Issue Information :
روزنامه با شماره پیاپی سال 2006
Keywords :
concurrent systems , embedded systems , real-time systems , formal methods , Reconfiguration
Journal title :
I E E E Transactions on Dependable and Secure Computing
Journal title :
I E E E Transactions on Dependable and Secure Computing
