Stanly Samuel

国・地域

このコーパスには引用元著者の国が記録されていないため、国・地域の内訳は集計していません。他の内訳はそのまま表示しています。

機関

• Helmholtz Center for Information Security27.5%
• Ames Research Center9.8%
• Graz University of Technology9.8%
• IMDEA Software Institute9.8%
• Munich University of Applied Sciences7.8%
• Max Planck Institute for Software Systems5.9%
• その他29.4%

分野

• Computer Science95.5%
• Decision Sciences4.5%

トピック

• Formal Methods in Verification32.2%
• Logic, programming, and type systems16.9%
• Model-Driven Software Engineering Techniques10.2%
• Embedded Systems Design Techniques8.5%
• Advanced Software Engineering Methodologies5.1%
• Software Testing and Debugging Techniques5.1%
• その他22%