共 50 条
- [1] Data Integrity in Real-time Datawarehousing WORLD CONGRESS ON ENGINEERING - WCE 2013, VOL III, 2013, : 1516 - 1519
- [3] A parametric model checking approach for real-time systems design 12th Asia-Pacific Software Engineering Conference, Proceedings, 2005, : 584 - 591
- [5] Real-Time Identification of Parametric Roll JOURNAL OF SHIP RESEARCH, 2023, 67 (03): : 174 - 183
- [6] A real-time interpolator for parametric curves INTERNATIONAL JOURNAL OF MACHINE TOOLS & MANUFACTURE, 2018, 125 : 133 - 145
- [7] A MODEL PARAMETRIC REAL-TIME LOGIC ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1992, 14 (04): : 521 - 573
- [8] Advances in Parametric Real-Time Reasoning MATHEMATICAL FOUNDATIONS OF COMPUTER SCIENCE 2014, PT I, 2014, 8634 : 123 - 134
- [9] Experiments with parametric verification of real-time systems PROCEEDINGS OF THE 11TH EUROMICRO CONFERENCE ON REAL-TIME SYSTEMS, 1999, : 123 - 130
- [10] Parametric optimization of open real-time systems STATIC ANALYSIS, PROCEEDINGS, 2001, 2126 : 299 - 318