'From Programs to Systems - The Systems Perspective in Computing' workshop (FPS 2014) was held in...
This book constitutes the refereed proceedings of the 4th International Conference on Runtime Ver...
Rule Systems for Runtime Verification: A Short Tutorial.- Verification, Testing and Statistics.- ...
This book constitutes the proceedings of the 12th International Conference on Veri¿cation and Eva...