Verification of Timeliness QoS Properties in Multimedia Systems
Verification of Timeliness QoS Properties in Multimedia Systems
复制标题
多媒体系统中及时性 QoS 属性的验证
DOI：
--
复制
发表时间：
2003
期刊：
影响因子：
--
通讯作者：
B.Bordbar et al.
中科院分区：
文献类型：
--
作者：
B.Bordbar et al.
登录
查看更多内容
具有契约、模式和方面的模型驱动工程*
DOI：
--
发表时间：
2003
期刊：
影响因子：
--
作者：
J. Jézéquel
通讯作者：
J. Jézéquel
开放式分布式处理和多媒体
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
G. Blair;J. Stefani
通讯作者：
J. Stefani
TDMA协议启动机制的形式化验证
DOI：
10.1109/prfts.1997.640153
发表时间：
1997
期刊：
Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems
影响因子：
--
作者：
Henrik Lönn
通讯作者：
Henrik Lönn
使用 UML 在 ODP 中指定 QoS 约束
DOI：
10.1016/s1389-1286(02)00255-4
发表时间：
2002
期刊：
Comput. Networks
影响因子：
--
作者：
B. Bordbar;J. Derrick;G. Waters
通讯作者：
G. Waters
DOI：
--
发表时间：
1998
期刊：
影响因子：
--
作者：
J. Jézéquel;S. Lorcy;N. Plouzeau
通讯作者：
N. Plouzeau