Login / Signup
Component aggregation for PEPA models: An approach based on approximate strong equivalence.
Dimitrios Milios
Stephen Gilmore
Published in:
Perform. Evaluation (2015)
Keyphrases
</>
decision making
optimal solution
probability distribution
logic programs
sufficient conditions
model checking