The increasing complexity of software systems, particularly in distributed environments, necessitates verification methods to ensure correctness and reliability. ...

Energy efficiency has become a central priority in the automotive industry due to increasing environmental, economic, and regulatory pressures. This dissertation proposes and validates a predictive eco-driving ...