2012 | OriginalPaper | Buchkapitel
Taming Distributed System Complexity through Formal Patterns
verfasst von : José Meseguer
Erschienen in: Formal Aspects of Component Software
Verlag: Springer Berlin Heidelberg
Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.
Wählen Sie Textabschnitte aus um mit Künstlicher Intelligenz passenden Patente zu finden. powered by
Markieren Sie Textabschnitte, um KI-gestützt weitere passende Inhalte zu finden. powered by
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.