A formal approach for run-time verification of web...

Information and Software Technology 2013 / 12 Vol. 55; Iss. 12

A formal approach for run-time verification of web applications using scope-extended LTL

Haydar, May, Petrenko, Alexandre, Boroday, Sergiy, Sahraoui, Houari
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Volume:
55
Language:
english
Journal:
Information and Software Technology
DOI:
10.1016/j.infsof.2013.07.013
Date:
December, 2013
File:
PDF, 2.00 MB
english, 2013
Conversion to is in progress
Conversion to is failed