共 50 条
- [1] Randomized test case generation for hybrid systems: metric selection [J]. PROCEEDINGS OF THE THIRTY-SIXTH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2004, : 236 - 240
- [3] ALFRED advanced reactor analysis [J]. NUCLEAR ENGINEERING INTERNATIONAL, 2024, 69 (837): : 22 - 23
- [5] Model based development of hybrid systems:: Specification, simulation, test case generation [J]. MODELLING, ANALYSIS, AND DESIGN OF HYBRID SYSTEMS, 2002, 279 : 37 - 51
- [6] Test coverage for continuous and hybrid systems [J]. COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2007, 4590 : 449 - +
- [7] Directed Test Generation for Hybrid Systems [J]. PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2014), 2015, : 156 - +
- [8] Automated test trajectory for hybrid systems [J]. PROCEEDINGS OF THE 35TH SOUTHEASTERN SYMPOSIUM ON SYSTEM THEORY, 2003, : 441 - 444
- [10] FISSION-FUSION HYBRID BLANKET SIMULATION IN A FISSION TEST REACTOR [J]. TRANSACTIONS OF THE AMERICAN NUCLEAR SOCIETY, 1981, 39 : 274 - 274