1
Publications
14
Citations
1
H-Index
2017
Active since
Affiliations
Free University of Bozen-Bolzano(Current)
Ognjen Savkoviý is an author at Free University of Bozen-Bolzano specializing in formal methods, systems engineering, and computational complexity.
Top concepts
DiagnosisSemanticsEngineeringData ScienceSemantic WebVerificationFormal MethodsComputer ScienceSoftware AnalysisAutomated Reasoning
Publications per year
2017–2017
1
1
Semantic Rules for Machine Diagnostics
Evgeny Kharlamov, Ognjen Savkoviý, Guohui Xiao et al. · 2017 · 14 citations
Rows per page
1–1 of 1