Publikationen
- 1 Konferenzartikel
-
Formal Verification of IEC 61499 Function Block Networks using Interface Automata
Peherstorfer, A., Zivotin, D. & Zoitl, A., 01 Sep. 2025, in: IFAC-PapersOnLine. 59, 25, S. 143-148 6 S.Publikation: Beitrag in Fachzeitschrift › Konferenzartikel › Begutachtung
Projekte
- 1 Laufend
-
COMPAC: Computing Partitions using Analog Circuits
Rass, S. (Projektleiter*in), Ostermann, T. (Forscher*in), Kofler, G. (Forscher*in), Peherstorfer, A. (Forscher*in), Golser, M. (Forscher*in) & Hofwimmer, S. (Forscher*in)
01.11.2024 → 31.10.2026
Projekt: Geförderte Forschung › Sonstige überwieg. aus öff. Hand