SAS architecture: verification oriented formal modeling of concrete critical systems.

Annie Ressouche, Jean-Yves Tigli, Valine Roy, Daniel Cheung-Foo-Wo

Browse the full SMC paper archive.