1
Publications
15
Citations
1
H-Index
2019
Active since
Affiliations
Sebastian Pilarski is an author at Budapest University of Technology and Economics specializing in computer-aided design, model-driven engineering, and formal methods.
Top concepts
EngineeringData ScienceData ModelingFormal MethodsSoftware DesignComputer ScienceProgram AnalysisSoftware TestingSoftware AnalysisAutomated Reasoning
Publications per year
2019–2019
1
1
Rows per page
1–1 of 1