1 – 15 of 25
- show: 15
- |
- 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
The Process of Verification and Validation of Building Fire Evacuation Models
2013) In NIST Technical Note(
- Book/Report › Report
-
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
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
Building Performance - Methods for Improved Prediction and Verification of Energy Use and Indoor Climate
(
- Thesis › Doctoral thesis (compilation)
-
Mark
Specifications for decidable hybrid games
(
- Contribution to journal › Article
-
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