Model-based evaluation is extensively used to estimate the performance and reliability of dependable systems. Traditionally, these systems were small self-contained, main challenge for model-based has been efficiency solution process. Recently, problem specifying maintaining complex models increasingly gained attention, as modern are characterized by many components interactions. Components sha...

Federated learning (FL) has recently become one of the hottest focuses in wireless edge networks with ever-increasing computing capability user equipment (UE). In FL, UEs train local machine models and transmit them to an aggregator, where a global model is formed then sent back UEs. networks, training transmission can be unsuccessful due constrained resources, channel impairments, bandwidth li...