1 – 5 of 25
- show: 5
- |
- 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
Assessing the Verification and Validation of Building Fire Evacuation Models
(
- Contribution to journal › Article
-
Mark
A Theory of Distances in Software Engineering
(
- Contribution to journal › Article