共 50 条
- [1] COGNITIVE CONTROL OF REAL-TIME EVENT-DRIVEN SYSTEMS [J]. COGNITIVE SCIENCE, 1984, 8 (03) : 221 - 254
- [2] Symbolic model checking for event-driven real-time systems [J]. ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1997, 19 (02): : 386 - 412
- [3] Analyzing Real-Time Event-Driven Programs [J]. FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, PROCEEDINGS, 2009, 5813 : 164 - +
- [4] Event-driven coordination of real-time components [J]. 22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS, 2002, : 589 - 594
- [6] Event-Driven Modeling for Context-Aware Information Systems [J]. 2016 IEEE/ACS 13TH INTERNATIONAL CONFERENCE OF COMPUTER SYSTEMS AND APPLICATIONS (AICCSA), 2016,
- [7] Schedulability of event-driven code blocks in real-time embedded systems [J]. 39TH DESIGN AUTOMATION CONFERENCE, PROCEEDINGS 2002, 2002, : 616 - 621
- [8] Event-driven support of real-time sentient objects [J]. EIGHTH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS, 2003, : 2 - 9
- [9] Event-Driven Business Intelligence Architecture for Real-Time Process Execution in Supply Chains [J]. BUSINESS INFORMATION SYSTEMS, PROCEEDINGS, 2010, 47 : 280 - 290