Effective conformance testing of timed I/O automata

被引：0
|
作者：
Zhao, Dong
Ye, Kejiang
机构：
来源：
Zhengzhou Daxue Xuebao/Journal of Zhengzhou University | 2002年 / 34卷 / 04期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata
    Luthmann, Lars
    Goettmann, Hendrik
    Lochau, Malte
    [J]. FORMAL ASPECTS OF COMPONENT SOFTWARE, FACS 2019, 2020, 12018 : 147 - 169
  • [2] A Conformance Testing Relation for Symbolic Timed Automata
    von Styp, Sabrina
    Bohnenkamp, Henrik
    Schmaltz, Julien
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, 2010, 6246 : 243 - +
  • [3] Exploiting Timed Automata for Conformance Testing of Power Measurements
    Woehrle, Matthias
    Lampka, Kai
    Thiele, Lothar
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 275 - 290
  • [4] Conformance Testing for non Deterministic Timed Pushdown Automata with Deadlines
    M'Hemdi, Hana
    Julliand, Jacques
    Masson, Pierre-Alain
    Robbana, Riadh
    [J]. 2016 IEEE 25TH INTERNATIONAL CONFERENCE ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WETICE), 2016, : 211 - 213
  • [5] On Conformance Testing for Timed Systems
    Schmaltz, Julien
    Tretmans, Jan
    [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2008, 5215 : 250 - 264
  • [6] Decomposing verification of timed I/O automata
    Kaynar, DK
    Lynch, N
    [J]. FORMAL TECHNIQUES, MODELLING AND ANALYSIS OF TIMED AND FAULT-TOLERANT SYSTEMS, PROCEEDINGS, 2004, 3253 : 84 - 101
  • [7] Specifying urgency in timed I/O automata
    Gebremichael, B
    Vaandrager, F
    [J]. SEFM 2005: THIRD IEEE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING AND FORMAL METHODS, PROCEEDINGS, 2005, : 64 - 73
  • [8] Testing timed automata
    Springintveld, J
    Vaandrager, F
    D'Argenio, PR
    [J]. THEORETICAL COMPUTER SCIENCE, 2001, 254 (1-2) : 225 - 257
  • [9] Conformance testing techniques for timed systems
    Fouchal, H
    [J]. SOFSEM 2002: THEORY AND PRACTICE OF INFORMATICS, 2002, 2540 : 1 - 19
  • [10] Conformance Testing for Timed Recursive Programs
    M'Hemdi, Hana
    Julliand, Jacques
    Masson, Pierre-Alain
    Robbana, Riadh
    [J]. COMPUTER AND INFORMATION SCIENCE 2015, 2016, 614 : 203 - 219
12345