![](/img/cover-not-exists.png)
[IEEE 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05) - Changsha, Hunan, China (12-14 Dec. 2005)] 11th Pacific Rim International Symposium on Dependable Computing (PRDC'05) - Formal Development of Software for Tolerating Transient Faults
IliC, D., Troubitsyna, E.Year:
2005
Language:
english
DOI:
10.1109/prdc.2005.34
File:
PDF, 6.19 MB
english, 2005