> Detailanzeige

Schichl, Hermann

Optimization problems in the power market - to verify or not to verify : Invited Industrial Talk at the 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT

Literatur-
verwaltung

Zur
Merkliste

Lösche von
Merkliste

Per Whatsapp teilen

Schließen

Merkliste



Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
  • Medientyp: E-Artikel
  • Titel: Optimization problems in the power market - to verify or not to verify : Invited Industrial Talk at the 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT : Invited Industrial Talk at the 6th International Workshop on Symbolic-Numeric methods for Reasoning about CPS and IoT
  • Beteiligte: Schichl, Hermann
  • Erschienen: Open Publishing Association, 2021
  • Erschienen in: Electronic Proceedings in Theoretical Computer Science, 331 (2021)
  • Sprache: Englisch
  • DOI: 10.4204/eptcs.331.0.2
  • ISSN: 2075-2180
  • Schlagwörter: General Earth and Planetary Sciences ; General Engineering ; General Environmental Science
  • Entstehung:
  • Anmerkungen:
  • Zugangsstatus: Freier Zugang