A Statistical Approach for Timed Reachability in AADL Models.

Harold Bruintjes, Joost-Pieter Katoen, David Lesens

Browse the full DSN paper archive.