Search results
-
2025
Practical solutions for the model-checking of fault-tolerant instrumentation and control system logics
Pakonen, A., Aug 2025, Aalto University. 131 p.Research output: Thesis › Dissertation › Collection of Articles
Open Access