Keyword:decomposition

Papers
Coordinated railway traffic rescheduling with the Resource Conflict Graph model Ambra Toletti, Marco Laumanns and Ulrich Weidmann EasyChair Preprint no. 884
Compositional Verification of Security Properties for Embedded Execution Platforms Christoph Baumann, Oliver Schwarz and Mads Dam In:PROOFS 2017. 6th International Workshop on Security Proofs for Embedded Systems