Your search returned 2 results.

Results
	1.	Stabilization, Safety, and Security of Distributed Systems [electronic resource] : 18th International Symposium, SSS 2016, Lyon, France, November 7-10, 2016, Proceedings / by Bonakdarpour, Borzoo [editor.] Petit, Franck [editor.] SpringerLink (Online service) Series: Theoretical Computer Science and General Issues ; 10083 Edition: 1st ed. 2016. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2016 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)
	2.	Runtime Verification [electronic resource] : 5th International Conference, RV 2014, Toronto, ON, Canada, September 22-25, 2014. Proceedings / by Bonakdarpour, Borzoo [editor.] Smolka, Scott A [editor.] SpringerLink (Online service) Series: Programming and Software Engineering ; 8734 Edition: 1st ed. 2014. Material type: Text; Format: electronic available online ; Literary form: Not fiction Publisher: Cham : Springer International Publishing : Imprint: Springer, 2014 In: Springer Nature eBook Online access: Click here to access online Availability: No items available. Add to cart (remove)

Refine your search