Verifying Distributed Algorithms with Executable Creol Models

Leister, Wolfgang

Publikasjonsdetaljer

Arrangement: PESARO 2011 The First International Conference on Performance, Safety and Robustness in Complex Systems and Applications (Budapest)

Dato: 17. april 2011 –22. april 2011

År: 2011

Arrangør: IARIA