DocumentCode :
3156867
Title :
A formal verification strategy for crash recovery in web-database applications
Author :
Younas, Muhammad ; Eaglestone, Barry
Author_Institution :
Coventry University
fYear :
2002
fDate :
2002
Firstpage :
113
Lastpage :
119
Keywords :
Application software; Calculus; Carbon capture and storage; Computer crashes; Degradation; Fault tolerance; Formal verification; Protocols; Resilience; Transaction databases;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Web Information Systems Engineering (Workshops), 2002. Proceedings of the Third International Conference on
Print_ISBN :
0-7695-1813-3
Type :
conf
DOI :
10.1109/WISEW.2002.1177854
Filename :
1177854
Link To Document :
https://search.ricest.ac.ir/dl/search/defaultta.aspx?DTC=49&DC=3156867
بازگشت