| |
| 2002 | ||
|---|---|---|
| 2 | Dirk Brade: Formal Behaviour Verification of HLA Federations using Temporal Logic. ESM 2002: 273-277 | |
| 2000 | ||
| 1 | EE | Dirk Brade: VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results. Winter Simulation Conference 2000: 840-848 |