Journal

A Formal Approach for Run-Time Verification of Web Applications using Scope-Extended LTL

Haydar, M., Petrenko, A., Boroday, S. and Sahraoui, H. "A Formal Approach for Run-Time Verification of Web Applications using Scope-Extended LTL" Information and Software Technology, 55 (12) 2013 : 2191–2208

  • CANARIE RT @CANARIE_Inc: How do you know whether online education is effective? CANARIE Research Software Program VESTA has it figured out @CRIM_ca…
  • CANARIE RT @CANARIE_Inc: Comment savoir si l'enseignement en ligne est efficace? Le logiciel de recherche Vesta financé par CANARIE a trouvé la sol…