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
Pages
16
From page
172
To page
187
Keywords
concurrent systems , embedded systems , real-time systems , formal methods , Reconfiguration
Journal title
I E E E Transactions on Dependable and Secure Computing
Serial Year
2006
Journal title
I E E E Transactions on Dependable and Secure Computing
Record number
289486
Link To Document