2 Ebooks por Borzoo Bonakdarpour
Borzoo Bonakdarpour & Scott A. Smolka: Runtime Verification
This book constitutes the refereed proceedings of the 5th International Conference on Runtime Verification, RV 2014, held in Toronto, ON, Canada in September 2014. The 28 revised full papers presente …
PDF
Inglês
DRM
€57.74
Borzoo Bonakdarpour & Franck Petit: Stabilization, Safety, and Security of Distributed Systems
This book constitutes the refereed proceedings of the 18th International Symposium on Stabilization, Safety, and Security of Distributed Systems, SSS 2016, held in Lyon, France, in November 2016.This …
PDF
Inglês
DRM
€57.78
