International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 09:00 | Introduction - the RAISE concept | Margaria, Hinchey |
| 09:30 | Accelerating Graphical DSL Development: Live Metamodeling in Cinco Cloud | Mitwalli |
| 10:00 | Towards X-as-Models in the Context of CI/CD | Teumert, Krumrey |