自分のプロフィールを作成
オープン アクセス
すべて表示9 件の論文
0 件の論文
利用可能
利用不可
助成機関の要件に基づく
共著者
- André PlatzerAlexander von Humboldt Professor, Karlsruhe Institute of Technology確認したメール アドレス: kit.edu
- Stefan MitschSchool of Computing, DePaul University確認したメール アドレス: depaul.edu
- Sarah M. LoosGoogle確認したメール アドレス: google.com
- Nikos ArechigaToyota Research Institute確認したメール アドレス: tri.global
- Nathan FultonAWS AI Labs. Formerly: MIT-IBM AI Lab; CMU CSD.確認したメール アドレス: amazon.com
- Marcus VölpCritiX Lab, Interdisciplinary Centre for Security, Reliability and Trust, University of Luxembourg確認したメール アドレス: uni.lu
- Philipp RuemmerProfessor in Computer Science, University of Regensburg確認したメール アドレス: ur.de
- Martin FränzleProfessor of Computer Science, University of Oldenburg確認したメール アドレス: informatik.uni-oldenburg.de
- Andreas SchaeferUniversity of Applied Sciences Luebeck確認したメール アドレス: th-luebeck.de
- Johannes FaberUnited Nations University, International Institute for Software Technology (UNU-IIST)確認したメール アドレス: iist.unu.edu
- Ernst-Ruediger OlderogProfessor für Informatik, Universität Oldenburg確認したメール アドレス: informatik.uni-oldenburg.de
- Sven LinkerSystem Verification Engineer @ Kernkonzept GmbH