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

Volker Stolz

Western Norway University of Applied Sciences

16H指数
110论文数
838被引数
收录论文 5
发表时间
logo
Resource Contracts for Active Objects主动对象的资源合约
errFORMAL METHODS: FOUNDATIONS AND APPLICATIONS, SBMF 2025
IF0
err2026-01-01
err0
PREAI
errDridi, Charaf Eddine; Pun, Violet Ka I.; Stolz, Volker
err分享
err收藏
Distributed runtime verification by past-CTL and the field calculus
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2022-05-01
err8
errOAAI
errAudrito, Giorgio; Damiani, Ferruccio; Stolz, Volker; Torta, Gianluca; Viroli, Mirko
err分享
err收藏
Adaptive distributed monitors of spatial properties for cyber-physical systems
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-05-01
err21
errOAAI
errAudrito, Giorgio; Casadei, Roberto; Damiani, Ferruccio; Stolz, Volker; Viroli, Mirko
err分享
err收藏
Automated transformations from UML behavior models to contracts
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2014-12-10
err1
PREAI
errLi Dan; Li XiaoShan; Liu ZhiMing; Stolz, Volker
err分享
err收藏
rCOS: a formal model-driven engineering method for component-based software
errFRONTIERS OF COMPUTER SCIENCE
IF4.6
err2012-01-27
err12
PREAI
errKe, Wei; Li, Xiaoshan; Liu, Zhiming; Stolz, Volker
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
李
李丹 (Dan Li)
H 指数: 104 · 论文数: 1.2K
M
Mirko Viroli
H 指数: 42 · 论文数: 436
R
Roberto Casadei
H 指数: 27 · 论文数: 128
F
Ferruccio Damiani
H 指数: 26 · 论文数: 230
Z
Zhiming Liu
H 指数: 25 · 论文数: 260
查看更多