Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
PhD-TW Colloquium "!#$%&'($#)*!+(,'!-&!./0!$0(,!,1&0!
 

Summary: PhD-TW Colloquium
!
!!
!
"!#$%&'($#)*!+(,'!-&!./0!$0(,!,1&0!
!
2(&13,!4015*60$70&!
!
Stochastic Operations Research
!
Date & Place:! 8 December 2011, Citadel H327
!
Time:! 15:4516:45
!
!
!
"6*.$(8.9!
The basic idea of Statistical Model Checking is to repeatedly simulate the behavior of a real-world system in
order to say something about the probability that some performance property is satisfied. When the system
model is huge, a single simulation run can take hours. Accordingly, it is vital to be able to terminate as soon as

  

Source: Al Hanbali, Ahmad - Department of Applied Mathematics, Universiteit Twente

 

Collections: Engineering