| EU Project | MANOLO |
|---|---|
| EU Programme | Horizon Europe |
| Internal ID | MANOLO22 |
| Publication Type | Peer reviewed articles |
| Title | Model Checking in Federated Learning-Based Smart Advertising |
| Authors | Rasool Seyghaly, Jordi Garcia, Xavi Masip-Bruin |
| Year | 2026 |
| DOI | https://doi.org/10.3390/jsan15020029 |
| Research Category | Software Engineering, Testing, and DevOps |