Valeriy Vyatkin
Professor, Chaired Professor
Department of Computer Science, Electrical and Space Enginee
Lulea University of Technology
Sweden
Biography
Valeriy Vyatkin Professor, Chaired Professor Luleå University of Technology Research Area: Dependable Communication and Computation Systems Division: Computer Science Department of Computer Science, Electrical and Space Engineering
Research Interest
Dependable Communication and Computation Systems
Publications
-
A study on user-friendly formal specification languages for requirements formalization (2017) Pang. C, Pakonen. A, Buzhinsky. I, Vyatkin. V Part of: IEEE International Conference on Industrial Informatics (INDIN), s. 676-682, Institute of Electrical and Electronics Engineers (IEEE), 2017, 7819246
-
A Formal Methodology for Accomplishing IEC61850 Real-Time Communication Requirements (2017) Kunz. G, Machado. J, Perondi. E, Vyatkin. V IEEE transactions on industrial electronics (1982. Print), ISSN: 0278-0046, Vol. 64, nr. 8, s. 6582-6590
