Validating Software Reliability Early through Statistical Model Checking

Title
Validating Software Reliability Early through Statistical Model Checking
Authors
Keywords
-
Journal
IEEE SOFTWARE
Volume 30, Issue 3, Pages 35-41
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Online
2013-02-22
DOI
10.1109/ms.2013.24

Ask authors/readers for more resources

Discover Peeref hubs

Discuss science. Find collaborators. Network.

Join a conversation

Publish scientific posters with Peeref

Peeref publishes scientific posters from all research disciplines. Our Diamond Open Access policy means free access to content and no publication fees for authors.

Learn More