Vitenskapelig Kapittel/Artikkel/Konferanseartikkel

Verifying Distributed Algorithms with Executable Creol Models

Leister, Wolfgang; Bjørk, Joakim; Schlatte, Rudolf; Griesmayer, Andreas

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)

År: 2011

Lenker:
SAMMENDRAG: http://thinkmind.org/index.php?view=article&articleid=pesaro_2011_1_10_70005