Verification of component architectures using mode-based contracts.

Stefan Kugele, Diego Marmsoler, Nria Mata, Kai Werther

Browse the full MEMOCODE paper archive.