Yazar
Borzoo Bonakdarpour
2 cilt bulundu.
Cilt sonuçları
Stabilization, Safety, and Security of Distributed Systems
Borzoo Bonakdarpour, Franck Petit · Springer London, Limited
445 sayfa · 2011
Electronic data processing, distributed processing / Computer security
Runtime Verification
Borzoo Bonakdarpour, Scott A. Smolka · Springer
367 sayfa · 2014
Computer software, verification / Computer software, testing / Software engineering / Computer science / Computer software