共 50 条
- [21] HIGH-LEVEL LANGUAGES FOR TELECOMMUNICATIONS SOFTWARE. GTE Automatic Electric Worldwide Communications Journal, 1983, 21 (03): : 92 - 98
- [22] GLISH - A SOFTWARE BUS FOR HIGH-LEVEL CONTROL NUCLEAR INSTRUMENTS & METHODS IN PHYSICS RESEARCH SECTION A-ACCELERATORS SPECTROMETERS DETECTORS AND ASSOCIATED EQUIPMENT, 1994, 352 (1-2): : 316 - 321
- [23] Deep High-Level Policy Model Predictive Contour Control for Autonomous Racing 2023 IEEE INTELLIGENT VEHICLES SYMPOSIUM, IV, 2023,
- [24] A High-Level Model Predictive Control Guidance Law for Unmanned Aerial Vehicles 2015 EUROPEAN CONTROL CONFERENCE (ECC), 2015, : 1362 - 1369
- [25] High-level model of sensor architecture for hardware and software design space exploration 2012 7TH INTERNATIONAL WORKSHOP ON RECONFIGURABLE AND COMMUNICATION-CENTRIC SYSTEMS-ON-CHIP (RECOSOC), 2012,
- [28] Methodology for Specification and Verification of High-Level Requirements with MetAcsl 2021 IEEE/ACM 9TH INTERNATIONAL CONFERENCE ON FORMAL METHODS IN SOFTWARE ENGINEERING (FORMALISE 2021), 2021, : 54 - 67