Heidelberg 1999 – wissenschaftliches Programm

Bereiche | Tage | Auswahl | Suche | Downloads | Hilfe

AKA: Arbeitskreis Physik und Abrüstung

AKA 7: Modellierung

Donnerstag, 18. März 1999, 17:00–18:00, CH3

	17:00	AKA 7.1	Ein dynamisches Interaktionsspiel zur Modellierung von Verifikation — •Jürgen Scheffran
	17:30	AKA 7.2	Die Analyse eines Joint-Implementation Programmes anhand einer Fallstudie und kontrolltheoretischen Untersuchungen — •Roland Rösch und Stefan Pickl