Angelika Mader

Human Media

论文数

3

总引用数

9

H-Index

2

关于

暂无简介。

研究焦点

Computer science2 · 7 次引用
Embedded system2 · 7 次引用
Schedule1 · 5 次引用
Operating system1 · 5 次引用
Real-time operating system1 · 5 次引用
Distributed computing1 · 5 次引用
Dynamic priority scheduling1 · 5 次引用
Model checking1 · 5 次引用
Parallel computing1 · 5 次引用
Multiprocessing1 · 5 次引用
Programming language1 · 5 次引用
Scheduling (production processes)1 · 5 次引用

主要成就

2
H 指数
3
论文
9
总引用数
3
篇均引用
🏆 最高被引论文
Schedulability analysis of timed CSP models using the PAT model checker
5 次引用 · 2012
📈 最高产年份: 2012 (1 论文)
🤝 主要合作者: 7
🏛 所属机构: Human Media

代表论文

  1. 1
    Schedulability analysis of timed CSP models using the PAT model checker
    5 次引用 · 2012
  2. 2
    Prozessalgebra, Teil 1 (Process Algebra, Part 1)
    2 次引用 · 2003
  3. 3
    Textile Waste and Haptic Feedback for Wearable Robotics
    2 次引用 · 2018

主要合作者

GLGeke Ludden1 篇合著论文EBEd Brinksma1 篇合著论文ŎOg ̆uzcan Oguz1 篇合著论文HVHellen van Rees1 篇合著论文JFJohannes F. Broenink1 篇合著论文VLValérie Lamontagne1 篇合著论文MSMerlijn Smits1 篇合著论文

联系与链接

可合作
内容已生成 · 13 天前