DFG Research Training Group 'Algorithmic synthesis of reactive and discrete-continuous systems (AlgoSyn)'

• DFG-Graduiertenkolleg 'Algorithmische Synthese reaktiver und diskret-kontinuierlicher Systeme (AlgoSyn)'

Thomas, Wolfgang; Bollue, Kai; Gückel, Dominique; Quirós, Gustavo; Slaats, Michaela; Ummels, Michael

München : Oldenbourg (2009)
Fachzeitschriftenartikel

In: Information technology : it
Band: 51
Heft: 4
Seite(n)/Artikel-Nr.: 222-230

Einrichtungen

• Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität) [117220]
• Lehrstuhl für Informatik 11 (Embedded Software) [122810]
• Lehrstuhl für Informations- und Automatisierungssysteme für die Prozess- und Werkstofftechnik [526610]
• Lehrstuhl und Institut für Regelungstechnik [416610]
• Fachgruppe Informatik [120000]
• Fachgruppe Mathematik [110000]
• Fachgruppe für Materialwissenschaft und Werkstofftechnik [520000]