Touta Ch,
Est ce que vous pouvez m'aider à avoir cet article SVP? http://link.springer.com/book/10.1007%2F978-1-4757-3540-6
Software Reliability Methods
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Introduction
-
Altmetric BadgeChapter 2 Preliminaries
-
Altmetric BadgeChapter 3 Logic and Theorem Proving
-
Altmetric BadgeChapter 4 Modeling Software Systems
-
Altmetric BadgeChapter 5 Formal Specification
-
Altmetric BadgeChapter 6 Automatic Verification
-
Altmetric BadgeChapter 7 Deductive Software Verification
-
Altmetric BadgeChapter 8 Process Algebra and Equivalences
-
Altmetric BadgeChapter 9 Software Testing
-
Altmetric BadgeChapter 10 Combining Formal Methods
-
Altmetric BadgeChapter 11 Visualization
-
Altmetric BadgeChapter 12 Conclusions
Altmetric Badge
About this Attention Score
-
High Attention Score compared to outputs of the same age (81st percentile)
Citations
- dimensions_citation
- 126 Dimensions
Readers on
- mendeley
- 46 Mendeley