The Model Checker SPIN

·1997·DOI

Health Data Science

Data Science and Technologies

Software Engineering and Practices

Model-Driven Engineering Approaches

Role in the Field

Neutralin Health Data Science

Neutralin Data Science and Technologies

Neutralin Software Engineering and Practices

Neutralin Model-Driven Engineering Approaches

Abstract

Citations

2,522

Year

1997

PageRank

5.2 / 10

Relative influence (log-scaled)