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]

  • 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…