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

Salvador Tamarit

Universitat Politecnica de Valencia

9H指数
73论文数
287被引数
收录论文 3
发表时间
logo
Reversible CSP Computations
errIEEE TRANSACTIONS ON PARALLEL AND DISTRIBUTED SYSTEMS
IF6
err2021-06-01
err0
errOAAI
errGalindo, Carlos; Nishida, Naoki; Silva, Josep; Tamarit, Salvador
err分享
err收藏
A unified framework for declarative debugging and testing用于声明式调试和测试的统一框架
errINFORMATION AND SOFTWARE TECHNOLOGY
IF4.3
err2021-01-01
err1
PREAI
errCaballero, Rafael; Martin-Martin, Enrique; Riesco, Adrian; Tamarit, Salvador
err分享
err收藏
Generating a Petri net from a CSP specification: A semantics-based method从CSP规范生成Petri网: 一种基于语义的方法
errADVANCES IN ENGINEERING SOFTWARE
IF5.7
err2012-08-01
err5
PREAI
errLlorens, M.; Oliver, J.; Silva, J.; Tamarit, S.
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
J
Josep Silva
H 指数: 17 · 论文数: 191
N
Naoki Nishida
H 指数: 14 · 论文数: 152
R
Rafael Caballero
H 指数: 13 · 论文数: 89
A
Adrián Riesco
H 指数: 13 · 论文数: 83
E
Enrique Martin-Martin
H 指数: 9 · 论文数: 45
查看更多