Handbook of Software Engineering

Overview of attention for book

Cover of 'Handbook of Software Engineering'

Table of Contents

Attention for Chapter 5: Formal Methods

Altmetric Badge

Citations

dimensions_citation: 11 Dimensions

Readers on

mendeley: 322 Mendeley

Summary Dimensions citations

So far, Dimensions has found 11 publications that cite this research output.

11

The most recent citing publications are shown below. View all 11 publications that cite this research output on Dimensions.

Process Mining from Jira Issues at a Large Company

Conference proceeding (October 2023)

A novel test case prioritization approach for black‐box testing based on K‐medoids clustering

Article in Journal of Software (March 2023)

Timed-SAS: Modeling and Analyzing the Time Behaviors of Self-Adaptive Software under Uncertainty

Article in Applied Sciences (February 2023)

This page shows the most recent citations of this research output.

Click here to find out how to access more activity.