Author Details

Weitl, Franz, Chiba University

  • Vol 5, No 2 (2015) - Special Issue on the Second International Symposium on Computing and Networking
    Using Checkpointing and Virtualization for Fault Injection
    Abstract  PDF
  • Vol 5, No 2 (2015) - Special Issue on the Second International Symposium on Computing and Networking
    Software Model Checking of UDP-based Distributed Applications
    Abstract  PDF