共 50 条
- [41] RVERL: Run-time verification of real-time and reactive programs using event-based real-time logic approach SERA 2007: 5TH ACIS INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH, MANAGEMENT, AND APPLICATIONS, PROCEEDINGS, 2007, : 550 - +
- [42] An Event-Based Framework for Facilitating Real-Time Sentiment Analysis in Educational Contexts 2022 11TH INTERNATIONAL CONFERENCE ON EDUCATIONAL AND INFORMATION TECHNOLOGY (ICEIT 2022), 2022, : 57 - 61
- [43] Real-time event-based formation control of a group of VTOL-UAVs 2017 3RD INTERNATIONAL CONFERENCE ON EVENT-BASED CONTROL, COMMUNICATION AND SIGNAL PROCESSING (EBCCSP), 2017,
- [44] An event-based approach for formally verifying runtime adaptive real-time systems The Journal of Supercomputing, 2021, 77 : 3110 - 3143
- [46] An event-based approach for formally verifying runtime adaptive real-time systems JOURNAL OF SUPERCOMPUTING, 2021, 77 (03): : 3110 - 3143
- [47] EventiC: A Real-Time Unbiased Event-Based Learning Technique for Complex Systems IEEE TRANSACTIONS ON SYSTEMS MAN CYBERNETICS-SYSTEMS, 2020, 50 (05): : 1649 - 1662
- [48] Event-Based Methodology for Real-Time Data Analysis in Cyber Physical Systems CYBERNETICS APPROACHES IN INTELLIGENT SYSTEMS: COMPUTATIONAL METHODS IN SYSTEMS AND SOFTWARE 2017, VOL. 1, 2018, 661 : 184 - 195
- [49] Real-Time Event-Based Dynamic Multi-Facility Vehicle Rerouting 2020 IEEE 23RD INTERNATIONAL SYMPOSIUM ON REAL-TIME DISTRIBUTED COMPUTING (ISORC 2020), 2020, : 152 - 153