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

  • Batimatech RT @batimateck: Bon, c’est confirmé, https://t.co/4ZLfD5uM9f annonce aujourd’hui son programme pour Batimatech 2018 @SATmontreal #Construc…
  • SciencePresse RT @SciencePresse: L’intelligence artificielle et les Québécois https://t.co/OjN1oFSF0A @Isaburgun #IntelligenceArtificielle #Québec #Perce…