Validating Software Reliability Early through Statistical Model Checking

2013-05-01

13

PRE

AI

DOI：10.1109/MS.2013.24

Original

Original request for help

Share

Save