咨询与建议

限定检索结果

文献类型

  • 2 篇 会议

馆藏范围

  • 2 篇 电子文献
  • 0 种 纸本馆藏

日期分布

主题

  • 2 篇 communication sy...
  • 2 篇 software require...
  • 1 篇 object oriented ...
  • 1 篇 software enginee...
  • 1 篇 hypertext system...
  • 1 篇 specification la...

机构

  • 1 篇 telecommunicatio...

作者

  • 1 篇 r. reed

语言

  • 2 篇 英文
检索条件"任意字段=IEE Tutorial Colloquium on Formal Methods and Notations Applicable to Telecommunications"
2 条 记 录,以下是1-10 订阅
排序:
iee tutorial colloquium on 'formal methods and notations applicable to telecommunications' (Digest No.061)
IEE Tutorial Colloquium on 'Formal Methods and Notations App...
收藏 引用
iee tutorial colloquium on formal methods and notations applicable to telecommunications
来源: 评论
SPECS methods for FDTs
SPECS methods for FDTs
收藏 引用
iee tutorial colloquium on formal methods and notations applicable to telecommunications
作者: R. Reed Telecommunications Software Engineering Limited Leicestershire UK
The Research and development in Advanced Communications technologies in Europe (RACE) programme recognised that an improved programming infrastructure (PI) would be needed for integrated broadband communications (IBC)... 详细信息
来源: 评论