Journal

A Formal Approach to Testing Properties ...

Hallal, H. H., Boroday, S., Petrenko, A. and Ulrich, A. "A Formal Approach to Testing Properties in Causally Consistent Distributed Traces" Formal Aspects of Computing, 18 (1) 2006 : 63-83
[Abstract]

  • 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