共 50 条
- [31] Subsequent Convergence of Iterative Methods with Applications to Real-Time Model-Predictive Control Journal of Optimization Theory and Applications, 2003, 119 : 37 - 47
- [32] The Digraph Real-Time Task Model 17TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM (RTAS 2011), 2011, : 71 - 80
- [33] A Model for Industrial Real-Time Systems VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2015), 2015, 8931 : 153 - 171
- [35] Building a model for real-time simulation FUTURE GENERATION COMPUTER SYSTEMS-THE INTERNATIONAL JOURNAL OF ESCIENCE, 2001, 17 (05): : 585 - 600
- [37] STRUCTURAL MODEL OF REAL-TIME DATABASES ICEIS 2008: PROCEEDINGS OF THE TENTH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL ISAS-2: INFORMATION SYSTEMS ANALYSIS AND SPECIFICATION, VOL 2, 2008, : 319 - +
- [38] Model synthesis for real-time systems NINTH EUROPEAN CONFERENCE ON SOFTWARE MAINTENANCE AND REENGINEERING, PROCEEDINGS, 2005, : 52 - 60
- [40] A semantic model of real-time UML FORMAL METHODS AND SOFTWARE ENGINEERING, PROCEEDINGS, 2002, 2495 : 573 - 577