AuVeGoS: Autonome Analyse und Verifikation verteilter E-Government-Systeme : Schlussbericht : Laufzeit des Vorhabens: 01. Juni 2013-31. Mai 2016, mit kostenneutraler Verlängerung 31.07.2016 (Deutsch)
Freier Zugriff
- Neue Suche nach: Alwin, Alwin
- Neue Suche nach: Sani, Leily Behnam
- Neue Suche nach: Bsufka, Karsten
- Neue Suche nach: Messerman, Arik
- Neue Suche nach: Nguyen, Minh-Hoang
- Neue Suche nach: Peters, Sebastian
- Neue Suche nach: Technische Universität Berlin, DAI-Labor
- Weitere Informationen zu Technische Universität Berlin, DAI-Labor:
- http://d-nb.info/gnd/6064263-4
- Neue Suche nach: Alwin, Alwin
- Neue Suche nach: Sani, Leily Behnam
- Neue Suche nach: Bsufka, Karsten
- Neue Suche nach: Messerman, Arik
- Neue Suche nach: Nguyen, Minh-Hoang
- Neue Suche nach: Peters, Sebastian
- Neue Suche nach: Technische Universität Berlin, DAI-Labor
- Weitere Informationen zu Technische Universität Berlin, DAI-Labor:
- http://d-nb.info/gnd/6064263-4
2016
- Report / Elektronische Ressource
-
Titel:AuVeGoS: Autonome Analyse und Verifikation verteilter E-Government-Systeme : Schlussbericht : Laufzeit des Vorhabens: 01. Juni 2013-31. Mai 2016, mit kostenneutraler Verlängerung 31.07.2016
-
Weitere Titelangaben:Schlussbericht AuVeGoS
-
Beteiligte:Alwin, Alwin ( Autor:in ) / Sani, Leily Behnam ( Autor:in ) / Bsufka, Karsten ( Autor:in ) / Messerman, Arik ( Autor:in ) / Nguyen, Minh-Hoang ( Autor:in ) / Peters, Sebastian ( Autor:in ) / Technische Universität Berlin, DAI-Labor ( Herausgebendes Organ )
-
Verlag:
- Neue Suche nach: Technische Universität Berlin, DAI-Labor
-
Erscheinungsort:Berlin
-
Erscheinungsdatum:2016
-
Format / Umfang:1 Online-Ressource (99 Seiten, 9,32 MB)
-
Anmerkungen:Illustrationen, Diagramme
Förderkennzeichen BMBF 01IS13003B. - Verbund-Nummer 01145491
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Langzeitarchivierung durch Technische Informationsbibliothek (TIB) / Leibniz-Informationszentrum Technik und Naturwissenschaften und Universitätsbibliothek -
DOI:
-
Medientyp:Report
-
Format:Elektronische Ressource
-
Sprache:Deutsch
-
Reportnr. / Förderkennzeichen:01IS13003B, 01145491
- Neue Suche nach: 54.80 / 88.20
- Weitere Informationen zu Basisklassifikation
-
Schlagwörter:
-
Klassifikation:
-
Datenquelle: