logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
P

Pascal Poizat

centre national de la recherche scientifique (cnrs)

21H指数
116论文数
1.3K被引数
收录论文 6
发表时间
logo
KMS-MQTT: Robust, efficient and lightweight key management scheme over MQTT v5.0 using cryptography and network steganographyKMS-MQTT：基于密码学与网络隐写技术的MQTT v5.0高效轻量级密钥管理方案
errComputer Networks
IF4.6
err2026-07-01
err0
PREAI
errNafi, Mohammed; Poizat, Pascal
err分享
err收藏
A First-Order Logic verification framework for communication-parametric and time-aware BPMN collaborations
errenterprise information systems
IF3.4
err2022-02-01
err11
errOAAI
errHouhou, Sara; Baarir, Souheib; Poizat, Pascal; Queinnec, Philippe; Kahloul, Laid
err分享
err收藏
VerChor: A Framework for the Design and Verification of Choreographies
errIEEE TRANSACTIONS ON SERVICES COMPUTING
IF5.8
err2016-07-01
err35
errOAAI
errGudemann, Matthias; Poizat, Pascal; Salaun, Gwen; Ye, Lina
err分享
err收藏
Adaptation of Service Protocols Using Process Algebra and On-the-Fly Reduction Techniques
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2012-07-01
err35
errOAAI
errMateescu, Radu; Poizat, Pascal; Salauen, Gwen
err分享
err收藏
Model-based adaptation of behavioral mismatching components
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2008-07-01
err74
errOAAI
errCanal, Carlos; Poizat, Pascal; Salaun, Gwen
err分享
err收藏
A formal and tool-equipped approach for the integration of state diagrams and formal datatypes一种用于集成状态图和正式数据类型的正式且配备工具的方法
errIEEE TRANSACTIONS ON SOFTWARE ENGINEERING
IF5.6
err2007-03-01
err3
errOAAI
errAttiogbe, Christian; Poizat, Pascal; Salauen, Gwen
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
R
Radu Mateescu
H 指数: 29 · 论文数: 156
G
Gwen Salaün
H 指数: 22 · 论文数: 95
C
Carlos Canal
H 指数: 22 · 论文数: 161
G
Gwen Salaün
H 指数: 16 · 论文数: 111
M
Matthias Güdemann
H 指数: 11 · 论文数: 42
查看更多