Collaborated with:
C.Dubslaff S.Klüppelholz C.Baier
Talks about:
probabilist (1) analysi (1) system (1) featur (1) famili (1) model (1) feat (1) base (1) pro (1)
Person: Philipp Chrszon
DBLP: Chrszon:Philipp
Contributed to:
Wrote 1 papers:
- FASE-2016-ChrszonDKB #analysis #modelling #probability
- Family-Based Modeling and Analysis for Probabilistic Systems - Featuring ProFeat (PC, CD, SK, CB), pp. 287–304.