共 50 条
- [25] Towards testing stochastic timed systems FORMAL TECHNIQUES FOR NETWORKED AND DISTRIBUTED SYSTEMS - FORTE 2003, 2003, 2767 : 335 - 350
- [26] Towards an algebra of hybrid systems RELATIONAL METHODS IN COMPUTER SCIENCE, 2005, 2006, 3929 : 121 - 133
- [27] Towards a unified rate theory of stochastic resonance FLUCTUATION AND NOISE LETTERS, 2006, 6 (04): : L405 - L413
- [28] Towards a Non-Stochastic Information Theory 2019 IEEE INTERNATIONAL SYMPOSIUM ON INFORMATION THEORY (ISIT), 2019, : 997 - 1001