共 50 条
- [31] AN OPERATIONAL APPROACH TO SEMANTICS OF REAL-TIME PROGRAMMING LANGUAGE COMPUTERS AND ARTIFICIAL INTELLIGENCE, 1991, 10 (03): : 239 - 254
- [34] Real-Time Rewriting Logic Semantics for Spatial Concurrent Constraint Programming REWRITING LOGIC AND ITS APPLICATIONS, WRLA 2018, 2018, 11152 : 226 - 244
- [35] Safety analysis in real-time system using constraint logic programming 1997 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS I AND II: ENGINEERING INNOVATION: VOYAGE OF DISCOVERY, 1997, : 399 - 402
- [36] MULTILEVEL INTERACTION REASONING FOR COMPLEX EVENT RECOGNITION 2020 IEEE INTERNATIONAL CONFERENCE ON IMAGE PROCESSING (ICIP), 2020, : 1891 - 1895
- [38] Recognition of Complex Gestures for Real-Time Emoji Assignment IMAGE ANALYSIS AND PROCESSING, ICIAP 2022 WORKSHOPS, PT II, 2022, 13374 : 215 - 227
- [39] Verification of complex real-time systems using rewriting logic J. Compt. Inf. Technol., 2009, 3 (265-284):