共 50 条
- [21] A weakest precondition semantics for an object-oriented language of refinement FM'99-FORMAL METHODS, VOL II, 1999, 1709 : 1439 - 1459
- [22] Verification and validation guidelines for object-oriented simulation models PROCEEDINGS OF THE 1998 SUMMER COMPUTER SIMULATION CONFERENCE: SIMULATION AND MODELING TECHNOLOGY FOR THE TWENTY-FIRST CENTURY, 1998, : 645 - 650
- [28] PFLib - An object oriented MATLAB toolbox for particle filtering SIGNAL PROCESSING, SENSOR FUSION, AND TARGET RECOGNITION XVI, 2007, 6567
- [29] An efficient method for checking object-oriented database schema correctness ACM TRANSACTIONS ON DATABASE SYSTEMS, 1998, 23 (03): : 333 - 368