FDL TBA
Forum on specification & Design Languages
@TBA, TBA
TBA, TBA
@TBA, TBA
Program
Research Papers
Sessions
- Session 1 (3 x 30 min): Languages and Simulations
- Session 2 (3 x 30 min): Testing and Formal Methods
- Session 3 (3 x 30 min): Modeling and Design
- Session 4 (3 x 30 min): Virtual Platforms and Virtual Prototypes
- Session 5 (Special, 5x24 min): Safety and Security in CPS
- PhD / Work in Progress
Keynotes
Tutorials
Panel