Hybrid Statistical Model Checking Technique for Reliable Safety Critical Systems.

Young Joo Kim, Moonzoo Kim

Browse the full ISSRE paper archive.