Author

Borzoo Bonakdarpour

2 books found

Cover of Runtime Verification

Runtime Verification

Borzoo Bonakdarpour, Scott A. Smolka · First published 2014

Cover of Stabilization, Safety, and Security of Distributed Systems

Stabilization, Safety, and Security of Distributed Systems

Borzoo Bonakdarpour, Franck Petit · First published 2011