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

Gespeichert in:
Bibliographische Detailangaben
1. Verfasser: Sani, Leily Behnam (VerfasserIn)
Körperschaft: GT-ARC gGmbH (Herausgebendes Organ)
Weitere Verfasser: Bsufka, Karsten (VerfasserIn), Messerman, Arik (VerfasserIn), Nguyen, Minh-Hoang (VerfasserIn), Shao, Weijia (VerfasserIn), Tran, The-Hieu (VerfasserIn)
Format: UnknownFormat
Sprache:ger
Veröffentlicht: Berlin GT-ARC gGmbH 2016
Schlagworte:
Online Zugang:Inhaltsverzeichnis
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Beschreibung
Beschreibung:Förderkennzeichen BMBF 01IS13003A. - Verbund-Nummer 01145491
Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden
Beschreibung:97 Seiten
Illustrationen