Vol-3169⫷ Vol-3170 ⫸Vol-3171
urn:nbn:de:0074-3170-0


Vol-3170/xpreface⫷Vol-3170/paper1⫸Vol-3170/paper2
Ruben Dobler StrandLars Michael KristensenLaure Petrucci

Formal Specification and Validation of a Data-driven Software System for Fire Risk Prediction