1 - 25 of 6
Number of results to display per page
TitleDateType
1 Combustion efficiency from industrial flares with uncertainty quantification2014-08Text
2 Development, verification, and validation of the responsive boundary model for pool fire simulations2011-08Text
3 Formal verification of device drivers in embedded systems2013-12Text
4 New verification method for embedded systems2010-12Text
5 Scalable formal dynamic verification of MPI programs through distributed causality tracking2011-08Text
6 Towards the theory and practice of verifying visualizations2013-08Text
1 - 25 of 6