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 / Koordinator des Verbundvorhabens: GT-ARC gGmbH ; Projektpartner: Technische Universität Berlin, DAI-Labor ; Autoren (GT-ARC): Christian Glied, Haluk Özduman, Kerem Kaynar, Jakob Strafer; Autoren (DAI-Labor): Alwin Alwin, Leily Behnam [und 8 andere]
PPN (Catalogue-ID): | 890372829 |
Nebentitel: |
Schlussbericht AuVeGoS |
Personen: |
Glied, Christian
[VerfasserIn]
Özduman, Haluk [VerfasserIn] Kaynar, Kerem [VerfasserIn] Strafer, Jakob [VerfasserIn] Alwin, Alwin [VerfasserIn] Behnam, Leily [VerfasserIn] |
Cooperations/Conferences: |
GT-ARC gGmbH
[Herausgebendes Organ]
|
Format: |
![]() |
Language: |
German |
Published: |
Berlin,
GT-ARC gGmbH,
[2016?] |
Basisklassifikation: |
88.20 54.80 |
Subjects: | |
Formangabe: | Forschungsbericht |
Notes: |
Förderkennzeichen BMBF 01IS13003A-B. - Verbund-Nummer 01145491 Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden |
Physical Description: |
1 Online-Ressource (160 Seiten, 12,5 MB), Illustrationen. |
Similar Items
Staff View

LEADER | 05712cam a2200949 4500 | ||
---|---|---|---|
001 | 890372829 | ||
003 | DE-627 | ||
005 | 20190310075535.0 | ||
007 | cr uuu---uuuuu | ||
008 | 170615s2016 xx |||||ot 00| ||ger c | ||
024 | 7 | |a 10.2314/GBV:890372829 |2 doi | |
024 | 8 | |a 01IS13003A | |
024 | 8 | |a 01IS13003B | |
024 | 8 | |a 01145491 | |
035 | |a (DE-627)890372829 | ||
035 | |a (DE-599)GBV890372829 | ||
035 | |a (OCoLC)990487040 | ||
040 | |a DE-627 |b ger |c DE-627 |e rda | ||
041 | |a ger | ||
044 | |c XA-DE | ||
084 | |a 88.20 |2 bkl | ||
084 | |a 54.80 |2 bkl | ||
100 | 1 | |a Glied, Christian |e verfasserin |4 aut | |
245 | 1 | 0 | |a AuVeGoS: Autonome Analyse und Verifikation verteilter E-Government-Systeme |b Schlussbericht : Laufzeit des Vorhabens: 01. Juni 2013-31. Mai 2016, mit kostenneutraler Verlängerung 31.07.2016 |c Koordinator des Verbundvorhabens: GT-ARC gGmbH ; Projektpartner: Technische Universität Berlin, DAI-Labor ; Autoren (GT-ARC): Christian Glied, Haluk Özduman, Kerem Kaynar, Jakob Strafer; Autoren (DAI-Labor): Alwin Alwin, Leily Behnam [und 8 andere] |
246 | 1 | |i Abweichender Titel |a Schlussbericht AuVeGoS | |
264 | 1 | |a Berlin |b GT-ARC gGmbH |c [2016?] | |
300 | |a 1 Online-Ressource (160 Seiten, 12,5 MB) |b Illustrationen | ||
336 | |a Text |b txt |2 rdacontent | ||
337 | |a Computermedien |b c |2 rdamedia | ||
338 | |a Online-Ressource |b cr |2 rdacarrier | ||
500 | |a Förderkennzeichen BMBF 01IS13003A-B. - Verbund-Nummer 01145491 | ||
500 | |a Unterschiede zwischen dem gedruckten Dokument und der elektronischen Ressource können nicht ausgeschlossen werden | ||
655 | 7 | |a Forschungsbericht |0 (DE-588)4155043-2 |0 (DE-627)10467444X |0 (DE-576)209815833 |2 gnd-content | |
689 | 0 | 0 | |D s |0 (DE-588)4728387-7 |0 (DE-627)358240255 |0 (DE-576)215808290 |a E-Government |2 gnd |
689 | 0 | |5 (DE-627) | |
700 | 1 | |a Özduman, Haluk |e verfasserin |4 aut | |
700 | 1 | |a Kaynar, Kerem |e verfasserin |4 aut | |
700 | 1 | |a Strafer, Jakob |e verfasserin |4 aut | |
700 | 1 | |a Alwin, Alwin |e verfasserin |4 aut | |
700 | 1 | |a Behnam, Leily |e verfasserin |4 aut | |
710 | 2 | |a GT-ARC gGmbH |e Herausgebendes Organ |0 (DE-588)1130680193 |0 (DE-627)884872114 |0 (DE-576)486909964 |4 isb | |
776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Glied, Christian |t AuVeGoS: Autonome Analyse und Verifikation verteilter E-Government-Systeme |d Berlin : GT-ARC gGmbH, 2016 |h 160 Seiten |w (DE-627)889240701 |
856 | 4 | 0 | |u https://edocs.tib.eu/files/e01fb17/890372829.pdf |q application/pdf |x Verlag |z OpenAccess Lizenz (außer Creative Commons License) |3 Volltext |
856 | 4 | 0 | |u https://doi.org/10.2314/GBV:890372829 |x Resolving-System |z OpenAccess Lizenz (außer Creative Commons License) |3 Volltext |
912 | |a GBV-FB-TIB | ||
912 | |a GBV_ILN_23 | ||
912 | |a SYSFLAG_1 | ||
912 | |a GBV_KXP | ||
912 | |a GBV_ILN_30 | ||
912 | |a GBV_ILN_31 | ||
912 | |a GBV_ILN_70 | ||
912 | |a GBV_ILN_110 | ||
912 | |a GBV_ILN_132 | ||
912 | |a GBV_ILN_151 | ||
912 | |a GBV_ILN_161 | ||
936 | b | k | |a 88.20 |j Organisation staatlicher Einrichtungen |j Management staatlicher Einrichtungen |0 (DE-627)106417835 |
936 | b | k | |a 54.80 |j Angewandte Informatik |0 (DE-627)106417967 |
951 | |a BO | ||
980 | |2 23 |1 01 |b 1761980947 |h olr-FBTIB |x 0830 |y z |z 28-03-18 | ||
980 | |2 30 |1 01 |b 1696146283 |h OLR-GBV-FB-TIB |k Forschungsbericht |x 0104 |y z |z 21-06-17 | ||
980 | |2 31 |1 01 |b 1740564359 |h GBV-FB-TIB |k Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden |x 0027 |y z |z 10-01-18 | ||
980 | |2 70 |1 01 |b 1694729621 |x 0089 |y z |z 15-06-17 | ||
980 | |2 110 |1 01 |b 3524425054 |h OLR-FB-TIB |k Open Access |x 3110 |y z |z 18-10-19 | ||
980 | |2 132 |1 01 |b 1740646010 |h OLR-FBTIB |k Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden |x 0959 |y x |z 10-01-18 | ||
980 | |2 151 |1 01 |b 1740400119 |h OLR-FBTIB |k Es gilt deutsches Urheberrecht. Das Werk bzw. der Inhalt darf zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, aber nicht im Internet bereitgestellt oder an Auenstehende weitergegeben werden. - German copyright law applies. The work or content may be downloaded, consumed, stored or printed for your own use but it may not be distributed via the internet or passed on to external parties. |x 0546 |y z |z 10-01-18 | ||
980 | |2 161 |1 01 |b 1740481798 |k Nach dem deutschen Urheberrecht darf das Werk bzw. der Inhalt zum eigenen Gebrauch kostenfrei heruntergeladen, konsumiert, gespeichert oder ausgedruckt, nicht jedoch im Internet bereitgestellt oder an Außenstehende weitergegeben werden |x 0960 |y x |z 10-01-18 | ||
981 | |2 23 |1 01 |r https://doi.org/10.2314/GBV:890372829 | ||
981 | |2 30 |1 01 |r https://doi.org/10.2314/GBV:890372829 | ||
981 | |2 31 |1 01 |y eBook GBV-FB-TIB |r https://doi.org/10.2314/GBV:890372829 | ||
981 | |2 70 |1 01 |y OA |r https://edocs.tib.eu/files/e01fb17/890372829.pdf | ||
981 | |2 110 |1 01 |r https://doi.org/10.2314/GBV:890372829 | ||
981 | |2 132 |1 01 |y Volltext |r https://doi.org/10.2314/GBV:890372829 | ||
981 | |2 151 |1 01 |y Volltext |r https://doi.org/10.2314/GBV:890372829 | ||
981 | |2 161 |1 01 |y Volltext |r https://doi.org/10.2314/GBV:890372829 | ||
982 | |2 31 |1 01 |8 00 |a eBook GBV-FB-TIB | ||
982 | |2 132 |1 01 |8 00 |a Forschungsberichte der TIB Hannover | ||
995 | |2 23 |1 01 |a olr-FBTIB | ||
995 | |2 30 |1 01 |a OLR-GBV-FB-TIB | ||
995 | |2 31 |1 01 |a GBV-FB-TIB | ||
995 | |2 110 |1 01 |a OLR-FB-TIB | ||
995 | |2 132 |1 01 |a OLR-FBTIB | ||
995 | |2 151 |1 01 |a OLR-FBTIB |