Taming distributed system complexity through formal patterns

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationFormal Aspects of Component Software - 8th International Symposium, FACS 2011, Revised Selected Papers
Pages1-2
Number of pages2
DOIs
StatePublished - Dec 31 2012
Event8th International Symposium on Formal Aspects of Component Software, FACS 2011 - Oslo, Norway
Duration: Sep 14 2011Sep 16 2011

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume7253 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other8th International Symposium on Formal Aspects of Component Software, FACS 2011
CountryNorway
CityOslo
Period9/14/119/16/11

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Fingerprint Dive into the research topics of 'Taming distributed system complexity through formal patterns'. Together they form a unique fingerprint.

Cite this