Article,

Validating Software Reliability Early through Statistical Model Checking.

, , , , and .
IEEE Software, 30 (3): 35-41 (2013)

Meta data

Tags

Users

  • @dblp

Comments and Reviews