Aaltodoc
→
Browsing by Author

Browsing by Author "Pakonen, Antti"

Now showing items 1-7 of 7

Title: Information Agent Technology in Process Automation Systems Author(s): Pakonen, Antti Date: 2004 Helsinki University of Technology | Master's thesis
Title: Model checking reveals design issues leading to spurious actuation of nuclear instrumentation and control systems Author(s): Pakonen, Antti; Buzhinsky, I.; Björkman, K. Date: 2021-01 Series: Reliability Engineering and System Safety, Volume 205
Title: Model-Checking Detailed Fault-Tolerant Nuclear Power Plant Safety Functions Author(s): Buzhinsky, Igor; Pakonen, Antti Date: 2019 Series: IEEE Access, Volume 7
Title: Oeritte Author(s): Ovsiannikova, Polina; Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy Date: 2021-04-15 Series: IEEE Access, Volume 9
Title: Scalable methods of discrete plant model generation for closed-loop model checking Author(s): Buzhinskii, Igor; Pakonen, Antti; Vyatkin, Valeriy Date: 2017-12-18 Series: Proceedings IECON 2017 - 43rd Annual Conference of the IEEE Industrial Electronics Society, Proceedings of the Annual Conference of the IEEE Industrial Electronics Society
Title: Symmetry Breaking in Model Checking of Fault-Tolerant Nuclear Instrumentation and Control Systems Author(s): Buzhinsky, Igor; Pakonen, Antti Date: 2020 Series: IEEE Access, Volume 8
Title: Synthesis-Aided Reliability Assurance of Basic Block Models for Model Checking Purposes Author(s): Buzhinsky, Igor; Pakonen, Antti; Vyatkin, Valeriy Date: 2018-08-10 Series: Proceedings of the 2018 IEEE 27th International Symposium on Industrial Electronics, ISIE 2018, Volume 2018-June, Proceedings of the IEEE International Symposium on Industrial Electronics