Katalog der Deutschen Nationalbibliothek
Ergebnis der Suche nach: ubRef=000263753
Link zu diesem Datensatz | https://d-nb.info/gnd/16181612-5 |
Organisation | Sonderforschungsbereich Transregio 14 Automatische Verifikation und Analyse Komplexer Systeme |
Andere Namen |
Sonderforschungsbereich Automatische Verifikation und Analyse Komplexer Systeme SFB-Transregio 14 SFB-TRR 14 SFF-TRR (14) AVACS (Abkürzung) Transregional Collaborative Research Center 14 Transregional Collaborative Research Center (14) Automatic Verification and Analysis of Complex Systems |
Quelle | Homepage (Stand: 14.09.2011): http://www.avacs.org |
Zeit | 2004-2016 |
Land | Deutschland (XA-DE); Baden-Württemberg (XA-DE-BW); Niedersachsen (XA-DE-NI); Saarland (XA-DE-SL) |
Geografischer Bezug |
Ort: Oldenburg (Oldenburg) Ort: Freiburg im Breisgau Ort: Saarbrücken Wirkungsraum: Deutschland |
Oberbegriffe | Beispiel für: Sonderforschungsbereich |
Beziehungen zu Organisationen |
Administrativ übergeordnet: Deutsche Forschungsgemeinschaft Administrativ übergeordnet: Carl von Ossietzky Universität Oldenburg Administrativ übergeordnet: Albert-Ludwigs-Universität Freiburg Administrativ übergeordnet: Universität des Saarlandes |
Systematik | 6.6 Hochschule |
Typ | Organisation (kiz) |