共 50 条
- [32] Measurable quality characteristics of a software system on software architecture level WORLD CONGRESS ON ENGINEERING 2008, VOLS I-II, 2008, : 489 - 493
- [33] Correction: A framework for embedded software portability and verification: from formal models to low-level code Software and Systems Modeling, 2024, 23 : 317 - 317
- [34] Low-level integration of quantum chemistry software: Component-based molecular integral evaluation ABSTRACTS OF PAPERS OF THE AMERICAN CHEMICAL SOCIETY, 2006, 232 : 210 - 210
- [35] A Computer-Algebraic Approach to Formal Verification of Data-Centric Low-Level Software 2016 ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2016, : 34 - 42
- [37] FLEXIBLE LOW-LEVEL CONTROL SOFTWARE FRAMEWORK FOR ACHIEVING CRITICAL REAL-TIME DEADLINES PROCEEDINGS OF ASME 2022 INTERNATIONAL MECHANICAL ENGINEERING CONGRESS AND EXPOSITION, IMECE2022, VOL 5, 2022,
- [38] MODERN TRANSPORT-SYSTEM WITH A HIGH-LEVEL OF HYGIENE FLEISCHWIRTSCHAFT, 1979, 59 (05): : 653 - 654
- [40] THE MOMENTUM COUNTERGRADIENT TRANSPORT IN LOW-LEVEL JET IZVESTIYA AKADEMII NAUK SSSR FIZIKA ATMOSFERY I OKEANA, 1991, 27 (08): : 803 - 812