Special Issue: International Workshop on Runtime Verification 2007

被引：0
|
作者：
Sokolsky, Oleg [1 ]
Tasiran, Serdar [2 ]
机构：
[1] Univ Penn, Philadelphia, PA 19104 USA
[2] Koc Univ, Istanbul, Turkey
来源：
JOURNAL OF LOGIC AND COMPUTATION | 2010年 / 20卷 / 03期
关键词：
D O I：
10.1093/logcom/exn074
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
引用
收藏
页码：649 / 650
页数：2
相关论文
共 50 条
  • [1] Introduction to the special issue on runtime verification
    Ezio Bartocci
    Rupak Majumdar
    [J]. Formal Methods in System Design, 2017, 51 : 1 - 4
  • [2] Introduction to the special issue on runtime verification
    Sokolsky, Oleg
    Rosu, Grigore
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2012, 41 (03) : 233 - 235
  • [3] Introduction to the special issue on runtime verification
    Falcone, Ylies
    Sanchez, Cesar
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2018, 53 (01) : 1 - 5
  • [4] Introduction to the special issue on runtime verification
    Bartocci, Ezio
    Majumdar, Rupak
    [J]. FORMAL METHODS IN SYSTEM DESIGN, 2017, 51 (01) : 1 - 4
  • [5] Introduction to the special issue on runtime verification
    Yliès Falcone
    César Sánchez
    [J]. Formal Methods in System Design, 2018, 53 : 1 - 5
  • [6] Introduction to the Special Issue on Runtime Verification
    Lu Feng
    Dana Fisman
    [J]. International Journal on Software Tools for Technology Transfer, 2023, 25 : 519 - 520
  • [7] Introduction to the Special Issue on Runtime Verification
    Deshmukh, Jyotirmoy
    Nickovic, Dejan
    [J]. INTERNATIONAL JOURNAL ON SOFTWARE TOOLS FOR TECHNOLOGY TRANSFER, 2023, 25 (04) : 427 - 429
  • [8] Introduction to the special issue on runtime verification
    Oleg Sokolsky
    Grigore Roşu
    [J]. Formal Methods in System Design, 2012, 41 : 233 - 235
  • [9] Introduction to the Special Issue on the 2007 International Integrated Reliability Workshop
    Lenahan, Patrick M.
    Knowlton, Bill
    Conley, John F., Jr.
    Tonti, Bill
    Suehle, John
    Grasser, Tibor
    [J]. IEEE TRANSACTIONS ON DEVICE AND MATERIALS RELIABILITY, 2008, 8 (03) : 490 - 490
  • [10] Introduction to the special issue of the 19th International Conference on Runtime Verification
    Bernd Finkbeiner
    Leonardo Mariani
    [J]. International Journal on Software Tools for Technology Transfer, 2021, 23 : 545 - 546
12345