학술논문
'학술논문'
에서 검색결과 4건 | 목록
1~10
Report
Steffen, Bernhard; Margaria, Tiziana; Bainczyk, Alexander; Boßelmann, Steve; Busch, Daniel; Driessen, Marc; Frohme, Markus; Howar, Falk; Jörges, Sven; Krause, Marvin; Krumrey, Marco; Lamprecht, Anna-Lena; Lybecait, Michael; Murtovi, Alnis; Naujokat, Stefan; Neubauer, Johannes; Schieweck, Alexander; Schürmann, Jonas; Smyth, Steven; Steffen, Barbara; Storek, Fabian; Tegeler, Tim; Teumert, Sebastian; Wirkner, Dominic; Zweihoff, Philip
Book
Boßelmann, Steve; Frohme, Markus; Kopetzki, Dawid; Lybecait, Michael; Naujokat, Stefan; Neubauer, Johannes; Wirkner, Dominic; Zweihoff, Philip; Steffen, Bernhard
Leveraging Applications of Formal Methods, Verification & Validation: Discussion, Dissemination, Applications; 2016, p809-832, 24p
검색 결과 제한하기
제한된 항목
[AR] Wirkner, Dominic
발행연도 제한
-
학술DB(Database Provider)
자료유형(Source Type)
주제어
언어