Prover Technology (Sweden)
🇸🇪 SE
论文数
2
总引用数
88
H-Index
2
研究人员
2
关于
暂无简介。
研究焦点
主要成就
2
H 指数
2
论文
88
总引用数
2
教职员与研究人员
🏆 最高被引论文
Supremica–An Efficient Tool for Large-Scale Discrete Event Systems
76 次引用 · 2017
📊 篇均引用: 44
📈 最高产年份: 2017 (1)
🔬 研究焦点: Distributed computing, Control engineering, Event (particle physics), Programming language, Computer science, Engineering
代表论文
- 1
- 2
教职员与研究人员
…
尚未生成