共 50 条
- [41] Checking linear response theory in driven bistable systems FLUCTUATION AND NOISE LETTERS, 2002, 2 (03): : L127 - L138
- [42] BehaviorKI: Behavior Pattern Based Runtime Integrity Checking for Operating System Kernel 2018 IEEE INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY AND SECURITY (QRS 2018), 2018, : 13 - 24
- [44] Algebraic Model Checking for Discrete Linear Dynamical Systems FORMAL MODELING AND ANALYSIS OF TIMED SYSTEMS, FORMATS 2022, 2022, 13465 : 3 - 15
- [47] REPRESENTATION AND PASSIVITY OF LINEAR-SYSTEMS ELECTRONICS & COMMUNICATIONS IN JAPAN, 1972, 55 (05): : 35 - 38
- [48] REPRESENTATION AND PASSIVITY OF LINEAR SYSTEMS. Electronics and Communications in Japan (English translation of Denshi Tsushin Gakkai Zasshi), 1972, 55 (05): : 35 - 38
- [49] On a Representation of Solutions of Linear Delay Systems Differential Equations, 2005, 41 : 1054 - 1058