Research output per year
Research output per year
Research output
- 1 Article
-
Formal Verification of IEC 61499 Function Block Networks using Interface Automata
Peherstorfer, A., Zivotin, D. & Zoitl, A., 2025, In: IFAC-PapersOnLine. 59, 25, p. 143-148 6 p.Research output: Contribution to journal › Article › peer-review
Projects
- 1 Active
-
COMPAC: Computing Partitions using Analog Circuits
Rass, S. (PI), Ostermann, T. (Researcher), Kofler, G. (Researcher), Peherstorfer, A. (Researcher), Golser, M. (Researcher) & Hofwimmer, S. (Researcher)
01.11.2024 → 31.10.2026
Project: Funded research › Other mainly public funds