Adaptive REST applications via model inference and probabilistic model checking.

Carlo Ghezzi Mauro Pezzè Giordano Tamburrelli

Published in: IM (2013)

Keyphrases

model checking
probabilistic model
temporal properties
finite state machines
probability distribution
process algebra
artificial intelligence
bayesian networks
inference process
model checker
verification method
temporal logic