Martin Hautzendorfer

论文数

1

总引用数

2

H-Index

1

关于

暂无简介。

研究焦点

Computer science1 · 2 次引用

Formal methods1 · 2 次引用

Formal verification1 · 2 次引用

Java1 · 2 次引用

Java Modeling Language1 · 2 次引用

Java applet1 · 2 次引用

Model checking1 · 2 次引用

Nondeterministic algorithm1 · 2 次引用

Programming language1 · 2 次引用

Software engineering1 · 2 次引用

Theoretical computer science1 · 2 次引用

strictfp1 · 2 次引用

主要成就

1

H 指数

1

论文

2

总引用数

2

篇均引用

🏆 最高被引论文

Formal Verification of Control Software: A Case Study

2 次引用 · 2005

📈 最高产年份: 2005 (1 论文)

🤝 主要合作者: 3

代表论文

1
Formal Verification of Control Software: A Case Study
2 次引用 · 2005

主要合作者

AGAndreas Griesmayer1 篇合著论文 FWFranz Wotawa1 篇合著论文 RBRoderick Bloem1 篇合著论文

尚未生成