Formalization and verification of event-driven process chains

被引：0
|
作者：
Dept. of Math. and Computing Science, Eindhoven Univ. Technol., P.O. B., Eindhoven, Netherlands [1 ]
机构：
来源：
Inf Software Technol | / 10卷 / 639-650期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] Event-Driven Packet Processing
    Ibanez, Stephen
    Antichi, Gianni
    Brebner, Gordon
    McKeown, Nick
    PROCEEDINGS OF THE EIGHTEENTH ACM WORKSHOP ON HOT TOPICS IN NETWORKS (HOTNETS '19), 2019, : 133 - 140
  • [42] Optimizing event-driven simulations
    De Michele, C.
    COMPUTER PHYSICS COMMUNICATIONS, 2011, 182 (09) : 1846 - 1850
  • [43] Event-driven power management
    Simunic, T
    Benini, L
    Glynn, P
    De Micheli, G
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2001, 20 (07) : 840 - 857
  • [44] On Event-Driven Business Integration
    Frank, Joachim H.
    Zeng, Liangzhao
    2013 IEEE 10TH INTERNATIONAL CONFERENCE ON E-BUSINESS ENGINEERING (ICEBE), 2013, : 82 - 89
  • [45] EVENT-DRIVEN MODULO SAMPLING
    Florescu, Dorian
    Krahmer, Felix
    Bhandari, Ayush
    2021 IEEE INTERNATIONAL CONFERENCE ON ACOUSTICS, SPEECH AND SIGNAL PROCESSING (ICASSP 2021), 2021, : 5435 - 5439
  • [46] Event-Driven Network Programming
    McClurg, Jedidiah
    Hojjat, Hossein
    Foster, Nate
    Cerny, Pavol
    ACM SIGPLAN NOTICES, 2016, 51 (06) : 369 - 385
  • [47] Event-driven stochastic approximation
    Vivek S. Borkar
    Neeraja Sahasrabudhe
    M. Ashok Vardhan
    Indian Journal of Pure and Applied Mathematics, 2016, 47 : 291 - 299
  • [48] Event-driven intermittent control
    Gawthrop, Peter J.
    Wang, Liuping
    INTERNATIONAL JOURNAL OF CONTROL, 2009, 82 (12) : 2235 - 2248
  • [49] Event-Driven Programming with EScala
    Satabin, Lucas
    Mezini, Mira
    AOSD 2011 PROCEEDINGS AND COMPANION MATERIAL, 2011, : 67 - 67
  • [50] EVENT-DRIVEN COMPILING TECHNIQUE
    BANATRE, JP
    ROUTEAU, JP
    TRILLING, L
    COMMUNICATIONS OF THE ACM, 1979, 22 (01) : 34 - 42
12345