Auflistung nach Autor "Knüppel, Alexander"
Anzeige der Dokumente 1-3 von 3
-
Is There a Mismatch between Real-World Feature Models and Product-Line Research?
Knüppel, Alexander; Thüm, Thomas; Mennicke, Stephan; Meinicke, Jens; Schaefer, Ina
53-54 -
Skill-Based Verification of Cyber-Physical Systems
Knüppel, Alexander; Jatzkowski, Inga; Nolte, Marcus; Runge, Tobias; Thüm, Thomas; Schaefer, Ina
67-68 -
Understanding Parameters of Deductive Verification: An Empirical Investigation of KeY
Knüppel, Alexander; Thüm, Thomas; Pardylla, Carsten Immanuel; Schaefer, Ina
165-166