DALculus - Theory and Tool for Development Assurance Level Allocation.

Pierre Bieber, Remi Delmas, Christel Seguin

Browse the full SAFECOMP paper archive.