Verification of probabilistic properties in HOL using the cumulative distribution function
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Visualization of the CreSIS Greenland data sets
Proceedings of the 48th Annual Southeast Regional Conference
Similarity effects in online training: Effects with computerized trainer agents
Computers in Human Behavior
Hi-index | 0.00 |