3
Publications
85
Citations
3
H-Index
2008
Active since
Affiliations
Technical University of Darmstadt(Current)
Carsten Amelunxen is an author at Technical University of Darmstadt specializing in software design, software analysis, and software engineering.
Top concepts
EngineeringSoftware DesignSoftware AnalysisSoftware EngineeringData ModelingFormal MethodsProgram AnalysisAutomated ReasoningFormal VerificationSystems Engineering
Publications per year
2008–2009
3
3
Metamodel-based tool integration with moflon
Carsten Amelunxen, Felix Klar, Alexander Königs et al. · 2008 · 57 citations
Rows per page
1–3 of 3