15th International Symposium on Stabilization, Safety, and Security of Distributed Systems (SSS 2013)

Osaka, Japan
13-16 November 2013

Track: Formal Methods and Distributed Systems

Track Chair

Track Program Committee

Validation, verification and reliability assessment are prerequisite for developing highly dependable distributed systems. The Formal Methods track of SSS will focus on formal or mathematical techniques related to these issues.
Topics include, but are not limited to:

© Copyright 2013 - SSS 2013