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

  • Montréal InVivo RT @Montreal_InVivo: MEDTEQ organisera son 6e Forum annuel « Innover au-delà des frontières » le 17 janvier prochain, à la Grande Bibliothè…
  • Le CRIM est partout! Pour les dernières nouvelles, consultez l'infolettre! https://t.co/rqohY13zFg