Rare event simulation for statistical model checking

Abstract

Publication
PhD: Université Rennes 1
Date