Statistics
Publications
1
Citations
25
H-Index
1
Active since
2011
Affiliations
Åbo Akademi University(Current)
Ilya Lopatkin is an author at Åbo Akademi University specializing in formal verification, software engineering, and formal specification.
Publications per year
2011–2011
1
1
Patterns for Representing FMEA in Formal Specification of Control Systems
Ilya Lopatkin, Alexei Iliasov, Alexander Romanovsky et al. · 2011 · 25 citations · Full text
Rows per page
1–1 of 1