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