Modeling and verifying self-adaptive systems: A refinement approach.

Marwa Hachicha Riadh Ben Halima Ahmed Hadj Kacem

Published in: SMC (2016)

Keyphrases

computer systems
complex systems
bayesian networks
expert systems
mobile robot
distributed systems
petri net
computing systems
modeling language