TY - GEN
T1 - Taming distributed system complexity through formal patterns
AU - Meseguer, José
N1 - Funding Information:
Partially supported by NSF Grant CCF 09-05584, AFOSR Grant FA8750-11-2-0084, and Boeing Grant C8088.
PY - 2012
Y1 - 2012
N2 - Many current and future distributed systems are or will be: - real-time and cyber-physical - probabilistic in their operating environments and/or their algorithms - safety-critical, with strong qualitative and quantitative formal requirements - reflective and adaptive, to operate in changing and potentially hostile environments.
AB - Many current and future distributed systems are or will be: - real-time and cyber-physical - probabilistic in their operating environments and/or their algorithms - safety-critical, with strong qualitative and quantitative formal requirements - reflective and adaptive, to operate in changing and potentially hostile environments.
UR - http://www.scopus.com/inward/record.url?scp=84871566169&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84871566169&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-35743-5_1
DO - 10.1007/978-3-642-35743-5_1
M3 - Conference contribution
AN - SCOPUS:84871566169
SN - 9783642357428
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 1
EP - 2
BT - Formal Aspects of Component Software - 8th International Symposium, FACS 2011, Revised Selected Papers
T2 - 8th International Symposium on Formal Aspects of Component Software, FACS 2011
Y2 - 14 September 2011 through 16 September 2011
ER -