共 50 条
- [41] SPECIFICATION OF REAL-TIME PROBABILISTIC BEHAVIOR PROTOCOL SPECIFICATION, TESTING AND VERIFICATION, XIII, 1993, 16 : 143 - 157
- [42] Tunneling Time in Ultrafast Science is Real and Probabilistic 2013 CONFERENCE ON LASERS AND ELECTRO-OPTICS (CLEO), 2013,
- [44] Real-Reward Testing for Probabilistic Processes ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2011, (57): : 61 - 73
- [45] Tunneling Time in Ultrafast Science is Real and Probabilistic 2013 CONFERENCE ON LASERS AND ELECTRO-OPTICS EUROPE AND INTERNATIONAL QUANTUM ELECTRONICS CONFERENCE (CLEO EUROPE/IQEC), 2013,