Rein Smedinga is an author at University of Groningen specializing in system software, formal methods, and european union law.
Top concepts
DesignRegulationEngineeringPublic PolicyFormal MethodsSoftware DesignSystem SoftwareComputer ScienceMachine LearningProgram Analysis
Publications per year
1995–2004
2
2
proceedings of the European Control Conference
M.P. Spathopoulos, Rein Smedinga, M.A. de Ridder · 1995 · 60 citations
First class feature abstractions for product derivation
A. Jansen, Rein Smedinga, Jilles van Gurp et al. · IEE Proceedings - Software · 2004 · 21 citations · Full text
Rows per page
1–2 of 2