![]() | ![]() |
| 2004 | ||
|---|---|---|
| 3 | Dirk Brade: A generalized process for the verification and validation of models and simulation results. Bundeswehr University Munich 2004 | |
| 2002 | ||
| 2 | Dirk Brade: Formal Behaviour Verification of HLA Federations using Temporal Logic. ESM 2002: 273-277 | |
| 2000 | ||
| 1 | Dirk Brade: VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results. Winter Simulation Conference 2000: 840-848 | |
Data released under the ODC-BY 1.0 license — See also our legal information page