الكتب الالكترونية

Tools and Algorithms for the Construction and Analysis of Systems

This is Part II: concurrent and distributed systems; monitoring and runtime verification; hybrid and stochastic systems; ...