Braspenning, N. C. W. M. - 论文与引用 | 科言猫

未登录

返回

B

Braspenning, N. C. W. M.

Eindhoven University of Technology

0H指数

1论文数

0被引数

收录论文 1

发表时间

Model-based system analysis using Chi and Uppaal: An industrial case study 基于Chi和Uppaal的基于模型的系统分析: 一个工业案例研究

COMPUTERS IN INDUSTRY

IF9.1

2008-01-01

5

OAAI

Braspenning, N. C. W. M.; Bortnik, E. M.; van de Mortel-Fronczak, J. M.; Rooda, J. E.

分享

收藏