Software Engineering and Formal Methods المزيد من كتب Rocco De Nicola & Eva Kühn

Formal Methods for the Quantitative Evaluation of Collective Adaptive Systems

Concurrency, Graphs and Models