Verifying Distributed Algorithms with Executable Creol Models

Publikasjonsdetaljer

  • Del av: PESARO 2011 The First International Conference on Performance, Safety and Robustness in Complex Systems and Applications, April 17-22, 2011, Budapest, Hungary (International Academy, Research and Industry Association (IARIA), 2011)