International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 11:00 | Digital Twins Meet Systems of Systems | |
| 11:30 | Digital Twins meet Aggregate Programming | |
| 12:00 | Twinning and Experimentation for and by Systems Engineering |