עקוב אחר
Sven Sieverding
Sven Sieverding
שותפות לא ידועה
כתובת אימייל מאומתת בדומיין btc-es.de
כותרת
צוטט על ידי
צוטט על ידי
שנה
Detecting consistencies and inconsistencies of pattern-based functional requirements‏
C Ellen, S Sieverding, H Hungar‏
International Workshop on Formal Methods for Industrial Critical Systems …, 2014‏
362014
Sequence Diagram Test Case Specification and Virtual Integration Analysis using Timed-Arc Petri Nets‏
S Sieverding, C Ellen, P Battram‏
FESCA, 17-31, 2013‏
102013
Expressing best practices in (risk) analysis and testing of safety-critical systems using patterns‏
W Herzner, S Sieverding, O Kacimi, E Böde, T Bauer, B Nielsen‏
2014 IEEE International Symposium on Software Reliability Engineering …, 2014‏
62014
Projektgruppe ViDAs–Endbericht‏
J Bao, P Battram, A Enkelmann, A Gabel, J Heyen, T Koepke, C Läsche, ...‏
Technical report, Carl von Ossietzky Universität Oldenburg, 2010‏
42010
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–4