Zur Hauptnavigation wechseln Zur Suche wechseln Zum Hauptinhalt wechseln

PC of 28th International Conference on Formal Methods for Industrial Critical Systems (Externe Organisation)

Aktivität: Mitgliedschaft/Funktion › Ausschuss, Komitee oder Jury

Zeitraum01 Apr. 2023 → 31 Juli 2023
Gehalten amPC of 28th International Conference on Formal Methods for Industrial Critical Systems, Niederlande

Wissenschaftszweige

  • 101013 Mathematische Logik
  • 603109 Logik
  • 102 Informatik
  • 102031 Theoretische Informatik
  • 102030 Semantische Technologien
  • 102011 Formale Sprachen
  • 102022 Softwareentwicklung
  • 102001 Artificial Intelligence

JKU-Schwerpunkte

  • Digital Transformation