首页
学术期刊
论文检测
AIGC检测
热点
更多
数据
The Fujaba real-time tool suite - Model-driven development of safety-critical, real-time systems
被引:0
作者
:
Burmester, S
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Burmester, S
[
1
]
Giese, H
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Giese, H
[
1
]
Hirsch, M
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Hirsch, M
[
1
]
Schilling, D
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Schilling, D
[
1
]
Tichy, M
论文数:
0
引用数:
0
h-index:
0
机构:
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
Tichy, M
[
1
]
机构
:
[1]
Univ Gesamthsch Paderborn, Software Engn Grp, D-33095 Paderborn, Germany
来源
:
ICSE 05: 27th International Conference on Software Engineering, Proceedings
|
2005年
关键词
:
UML;
safety-critical;
real-time;
embedded systems;
MDA;
model checking;
D O I
:
暂无
中图分类号
:
TP31 [计算机软件];
学科分类号
:
081202 ;
0835 ;
摘要
:
引用
收藏
页码:670 / 671
页数:2
相关论文
共 3 条
[1]
Burmester S., 2004, P MOD DRIV ARCH FDN
[2]
BURMESTER S, INT J SOFTW TOOLS TE, V6, P203
[3]
GIESE H, 2003, P EUR SOFTW ENG C ES, P38
←
1
→
共 3 条
[1]
Burmester S., 2004, P MOD DRIV ARCH FDN
[2]
BURMESTER S, INT J SOFTW TOOLS TE, V6, P203
[3]
GIESE H, 2003, P EUR SOFTW ENG C ES, P38
←
1
→