Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Dieses Werk eröffnet einen praxisorientierten Blick auf formale Verfahren zur quantitativen Analyse kollektiver adaptiver Systeme und verknüpft dabe ...
Menü