Leveraging Applications of Formal Methods Verification and Validation. Rigorous Engineering of Collective Adaptive Systems

Allgemein

Marke
Springer International Publishing

Eigenschaften

Menü