In this presentation we introduce the general idea of guiding the development of formal models by the validation effort it takes to show the desired features.
Sprache der Kurzfassung:
Englisch
Vortragstyp:
Hauptvortrag / Eingeladener Vortrag auf einer Tagung