1 – 25 of 25
- show: 250
- |
- sort: year (new to old)
Close
Embed this list
<iframe src=" "
width=" "
height=" "
allowtransparency="true"
frameborder="0">
</iframe>
- 2023
-
Mark
The verification of wildland–urban interface fire evacuation models
(
- Contribution to journal › Article
- 2020
-
Mark
Verifying Properties of Bit-vector Multiplication Using Cutting Planes Reasoning
2020) 20th International Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 In Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design, FMCAD 2020 p.194-204(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2018
-
Mark
Verification, validation and evaluation of FireFOAM as a tool for performance based design
2018) In TVBB(
- Book/Report › Report
- 2016
-
Mark
A Theory of Distances in Software Engineering
(
- Contribution to journal › Article
-
Mark
Assessing the Verification and Validation of Building Fire Evacuation Models
(
- Contribution to journal › Article
- 2014
-
Mark
Performance-based design of road tunnel fire safety: Proposal of new Swedish framework
(
- Contribution to journal › Article
-
Mark
Challenges and Practices in Aligning Requirements with Verification and Validation: A Case Study of Six Companies
(
- Contribution to journal › Article
- 2013
-
Mark
Validation and Verification of Fire Models for Fire Safety Engineering
(
- Contribution to journal › Article
-
Mark
A Model-Based Framework for Flexible Safety-Critical Software Development - A Design Study
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
The Process of Verification and Validation of Building Fire Evacuation Models
2013) In NIST Technical Note(
- Book/Report › Report
-
Mark
Challenges for international standardization during the next decades with respect to the areas of new innovative products and fire safety engineering
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 2011
-
Mark
Specifications for decidable hybrid games
(
- Contribution to journal › Article
-
Mark
Building Performance - Methods for Improved Prediction and Verification of Energy Use and Indoor Climate
(
- Thesis › Doctoral thesis (compilation)
-
Mark
Counting beans or moving mountains - the predicament of energy efficiency policy
2011) 10th eceee summer study - energy efficiency first: the foundation of a low-carbon society(
- Contribution to conference › Paper, not in proceeding
-
Mark
Iris recognition by fusing different representations of multi-scale Taylor expansion
(
- Contribution to journal › Article
- 2007
-
Mark
A virtual-accelerator-based verification of a Monte Carlo dose calculation algorithm for electron beam treatment planning in clinical situations.
(
- Contribution to journal › Article
-
Mark
Measures for Benchmarking of Automatic Correspondence Algorithms
(
- Contribution to journal › Article
- 2006
-
Mark
Verification of Dose Calculation Algorithms in Treatment Planning Systems for External Radiation Therapy: A Monte Carlo Approach
2006)(
- Thesis › Doctoral thesis (compilation)
- 2005
-
Mark
Safety in Case of Fire - The Effect of Changing Regulations
(
- Thesis › Doctoral thesis (monograph)
-
Mark
Beam modeling and verification of a photon beam multisource model
(
- Contribution to journal › Article
-
Mark
Development of a Framework for Quality Assurance of Performance-based Fire Safety Designs
(
- Contribution to journal › Article
- 2003
-
Mark
An experimental evaluation of inspection and testing for detection of design faults
2003) Proceedings 2003 International Symposium on Empirical Software Engineering. ISESE 2003 p.174-184(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
A Case Study Investigating the Characteristics of Verification and Validation Activities in the Software Development Process
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
-
Mark
Verification of a blind mismatch error equalization method for randomly interleaved ADCs using a 2.5V/12b/30MSs PSAADC
(
- Chapter in Book/Report/Conference proceeding › Paper in conference proceeding
- 1998
-
Mark
An operational calculus for matrix-exponential disributions, with applicaions to a Brownian (q,Q) inventory model
(
- Contribution to journal › Article