Heidelberg 1999 – scientific programme

Parts | Days | Selection | Search | Downloads | Help

AKA: Arbeitskreis Physik und Abrüstung

AKA 7: Modellierung

Thursday, March 18, 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