共 50 条
- [41] The Density of Linear-Time Properties AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS (ATVA 2017), 2017, 10482 : 139 - 155
- [42] Linear-Time Verification of Firewalls 2009 17TH IEEE INTERNATIONAL CONFERENCE ON NETWORK PROTOCOLS (ICNP 2009), 2009, : 133 - 140
- [43] Exact method for the stability analysis of time delayed linear-time invariant fractional-order systems IET CONTROL THEORY AND APPLICATIONS, 2015, 9 (16): : 2357 - 2368
- [44] Events in linear-time properties IEEE INTERNATIONAL SYMPOSIUM ON REQUIREMENTS ENGINEERING, PROCEEDINGS, 1999, : 123 - 132
- [46] DISTRIBUTED LAG APPROXIMATION TO LINEAR TIME-INVARIANT SYSTEMS ANNALS OF STATISTICS, 1979, 7 (03): : 507 - 515
- [50] Measurement of the best linear time-invariant approximation of linear time-periodic systems PROCEEDINGS OF INTERNATIONAL CONFERENCE ON NOISE AND VIBRATION ENGINEERING (ISMA2014) AND INTERNATIONAL CONFERENCE ON UNCERTAINTY IN STRUCTURAL DYNAMICS (USD2014), 2014, : 3249 - 3263