Tesnim Abdellatif

Centre National de la Recherche Scientifique, Verimag

论文数

3

总引用数

51

H-Index

2

关于

暂无简介。

研究焦点

Embedded system3 · 51 次引用
Programming language3 · 51 次引用
Computer science3 · 51 次引用
Distributed computing3 · 51 次引用
Software2 · 49 次引用
Robustness (evolution)2 · 49 次引用
Deadlock1 · 33 次引用
Component (thermodynamics)1 · 33 次引用
Robot1 · 33 次引用
Artificial intelligence1 · 33 次引用
Model checking1 · 33 次引用
Component-based software engineering1 · 33 次引用

主要成就

2
H 指数
3
论文
51
总引用数
17
篇均引用
🏆 最高被引论文
Rigorous design of robot software: A formal component-based approach
33 次引用 · 2012
📈 最高产年份: 2012 (1 论文)
🤝 主要合作者: 5
🏛 所属机构: Centre National de la Recherche Scientifique, Verimag

代表论文

  1. 1
    Rigorous design of robot software: A formal component-based approach
    33 次引用 · 2012
  2. 2
    Rigorous implementation of real-time systems – from theory to application
    16 次引用 · 2013
  3. 3
    Open Real-time Systems: From Modeling to Implementation
    2 次引用 · 2011

主要合作者

JCJacques Combaz3 篇合著论文LDLavindra de Silva1 篇合著论文JSJoseph Sifakis1 篇合著论文SBSaddek Bensalem1 篇合著论文FIFélix Ingrand1 篇合著论文
尚未生成