Inna Pereverzeva

Turku Centre for Computer Science

论文数

5

总引用数

47

H-Index

4

关于

暂无简介。

研究焦点

Computer science5 · 47 次引用
Systems engineering4 · 43 次引用
Software engineering3 · 33 次引用
Formal methods3 · 33 次引用
Control reconfiguration3 · 31 次引用
Task (project management)3 · 31 次引用
Artificial intelligence3 · 31 次引用
Embedded system3 · 31 次引用
Distributed computing3 · 31 次引用
Resilience (materials science)2 · 25 次引用
Event (particle physics)2 · 22 次引用
Fault tolerance2 · 18 次引用

主要成就

4
H 指数
5
论文
47
总引用数
9
篇均引用
🏆 最高被引论文
Formal Development and Quantitative Assessment of a Resilient Multi-robotic System
13 次引用 · 2013
📈 最高产年份: 2012 (3 论文)
🤝 主要合作者: 3
🏛 所属机构: Turku Centre for Computer Science

代表论文

  1. 1
    Formal Development and Quantitative Assessment of a Resilient Multi-robotic System
    13 次引用 · 2013
  2. 2
    Formal Goal-Oriented Development of Resilient MAS in Event-B
    12 次引用 · 2012
  3. 3
    Development of Fault Tolerant MAS with Cooperative Error Recovery by Refinement in Event-B
    10 次引用 · 2012
  4. 4
    A Case Study in Formal Development of a Fault Tolerant Multi-robotic System
    8 次引用 · 2012
  5. 5
    Formal development of resilient distributed systems
    4 次引用 · 2015

主要合作者

ETElena Troubitsynå4 篇合著论文LLLinas Laibinis4 篇合著论文ATAnton Tarasyuk1 篇合著论文

联系与链接

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