咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 1 篇 工学
    • 1 篇 计算机科学与技术...
    • 1 篇 软件工程

主题

  • 1 篇 extended automat...
  • 1 篇 synchronizing se...
  • 1 篇 model based test...

机构

  • 1 篇 inst polytech pa...
  • 1 篇 russian acad sci...

作者

  • 1 篇 yevtushenko nina
  • 1 篇 kushik natalia

语言

  • 1 篇 英文
检索条件"主题词=Model based Testing and Monitoring"
1 条 记 录,以下是1-10 订阅
排序:
Studying Synchronization Issues for Extended Automata  18
Studying Synchronization Issues for Extended Automata
收藏 引用
18th International Conference on Evaluation of Novel Approaches to Software Engineering (ENASE)
作者: Kushik, Natalia Yevtushenko, Nina Inst Polytech Paris SAMOVAR Telecom SudParis Palaiseau France Russian Acad Sci Ivannikov Inst Syst Programming Moscow Russia
The paper presents a study of synchronization issues for one of non-classical state models, i.e., a state identification problem widely used in the area of model based testing (MBT) and run-time verification / monitor... 详细信息
来源: 评论