A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems

Johannes Kloos, Robert Eschbach. A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. Electronic Notes in Theoretical Computer Science, 263:145-160, 2010. [doi]

Abstract

Abstract is missing.