Compositional Reasoning in Model-Based Verification of Adaptive Embedded Systems.

Ina Schaefer, Arnd Poetzsch-Heffter

Browse the full SEFM paper archive.