Interference Analysis for Dependable Systems Using Refinement and Abstraction.

Claus Pahl

Browse the full FM paper archive.