Darius Šilingas is an author at Vytautas Magnus University specializing in formal methods, computer engineering, and system software.
Top concepts
DesignEngineeringData ModelingFormal MethodsSoftware DesignSystem SoftwareProgram AnalysisSoftware TestingSoftware AnalysisSystems Engineering
Publications per year
2009–2015
2
2
Rows per page
1–2 of 2