SMC4PEP: Stochastic Model Checking of Product Engineering Processes.

Hassan Hage, Emmanouil Seferis, Vahid Hashemi, Frank Mantwill

Browse the full FASE paper archive.