dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Dirk Brade pubzone.org

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

DBLP keys2004
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Brade: A generalized process for the verification and validation of models and simulation results. Bundeswehr University Munich 2004
2002
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Brade: Formal Behaviour Verification of HLA Federations using Temporal Logic. ESM 2002: 273-277
2000
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLDirk Brade: VV&A; II: enhancing modeling and simulation accreditation by structuring Verification and Validation results. Winter Simulation Conference 2000: 840-848

Last update Sun May 27 04:04:01 2012 CET by the DBLP TeamThis material is Open Data Data released under the ODC-BY 1.0 license — See also our legal information page