TY - GEN
AU - Rosa, Cristian
AU - Nancy 1
AU - Merz, Stephan
AU - Quinson, Martin
TI - Vérification des performances et de la correction des systèmes distribués ; Performance and correctness assessmet of distributed systems
KW - Applications distribuées
KW - Simulation
KW - Parallélisation
KW - Model-checking
KW - Vérification
PY - 2011-10-24
N2 - Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
UR - http://slubdd.de/katalog?TN_libero_mab2
ER -
Download citation