[go: up one dir, main page]
More Web Proxy on the site http://driver.im/

10th VECoS 2016: Tunis, Tunisia

Refine list

showing all ?? records

Session I: Probabilistic verification

Session II: Fault tolerance and performance evaluation

Session III: Model-Checking and Test

Session IV: Protocols and distrubuted systems