Stabilization, safety, and security of distributed systems. 11th international symposium, SSS 2009, Lyon, France, November 3--6, 2009. Proceedings

DOI10.1007/978-3-642-05118-0zbMath1251.68019OpenAlexW2917510429MaRDI QIDQ1036133

No author found.

Publication date: 5 November 2009

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-05118-0

Mathematics Subject Classification ID

Proceedings of conferences of miscellaneous specific interest (00B25) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Distributed systems (68M14) Reliability, testing and fault tolerance of networks and computer systems (68M15)

Related Items (1)

On the Specification and Verification of Model Transformations

This page was built for publication: Stabilization, safety, and security of distributed systems. 11th international symposium, SSS 2009, Lyon, France, November 3--6, 2009. Proceedings