GI LogoGI Logo
  • Login
Digital Library
    • All of DSpace

      • Communities & Collections
      • Titles
      • Authors
      • By Issue Date
      • Subjects
    • This Collection

      • Titles
      • Authors
      • By Issue Date
      • Subjects
Digital Library Gesellschaft für Informatik e.V.
GI-DL
    • English
    • Deutsch
  • English 
    • English
    • Deutsch
Search 
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Modellierung
  • P302 - Modellierung 2020
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.
  •   DSpace Home
  • Lecture Notes in Informatics
  • Proceedings
  • Modellierung
  • P302 - Modellierung 2020
  • Search

Search

DiscoverDiscover

Filters

Use filters to refine the search results.

Now showing items 1-1 of 1

Results Per Page:Sort Options:

Modellierung, Verifikation und Synthese von validen Planungszuständen für Fernsehausstrahlungen 

Modellierung 2020 Drave, Imke; Henrich, Timo; Hölldobler, Katrin; Kautz, Oliver; Michael, Judith; Rumpe, Bernhard
Für die Gestaltung von audiovisuellen Medienangeboten wie Fernsehprogramm und Video-On-Demand Angeboten müssen Lizenzverträge abgeschlossen werden. Aus diesen Verträgen ergeben sich Vorgaben, die bei der Planung der Angebote eingehalten werden müssen. Mit wachsender Anzahl an Verträgen und Formulierungen innerhalb der ...

About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.

 

 

Discover

Author

Drave, Imke (1)
Henrich, Timo (1)
Hölldobler, Katrin (1)Kautz, Oliver (1)
Michael, Judith (1)
Rumpe, Bernhard (1)

Subject

Domänenspezifische Sprache (1)Programmplanung (1)Verifikation (1)Vertragliche Restriktionen (1)... View More

Date Issued

2020 (1)

Has File(s)

Yes (1)

About uns | FAQ | Help | Imprint | Datenschutz

Gesellschaft für Informatik e.V. (GI), Kontakt: Geschäftsstelle der GI
Diese Digital Library basiert auf DSpace.