Dirk Brade

Publication Activity (10 Years)

Years Active: 2000-2002
Publications (10 Years): 0

Bundeswehr University Munich (PHD)

Education History

Bundeswehr University Munich

PHD

Publications

Dirk Brade
Formal Behaviour Verification of HLA Federations using Temporal Logic. ESM (2002)
Dirk Brade
VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results. WSC (2000)