Mechanized Refinement of Communication Models with TLA ^+ +.

Florent Chevrou Aurélie Hurault Philippe Mauran Philippe Quéinnec

Published in: ABZ (2016)

Keyphrases

accurate models
databases
decision making
evolutionary algorithm
model selection
parameter estimation
communication networks