M. Mercaldi

国・地域

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

機関

• Kharkiv National University of Radio Electronics20.8%
• Association for Computing Machinery18.2%
• University of California, Berkeley18.2%
• University of Münster14.3%
• Technische Universität Berlin14.3%
• University of Twente7.8%
• その他6.5%

分野

• Computer Science93.3%
• Engineering6.7%

トピック

• Formal Methods in Verification29.5%
• Embedded Systems Design Techniques22.7%
• VLSI and Analog Circuit Testing9.1%
• Security and Verification in Computing6.8%
• Radiation Effects in Electronics4.5%
• Model-Driven Software Engineering Techniques4.5%
• その他22.7%