Model Checking And Abstraction

·1994·DOI

Health Data Science

Data Science and Technologies

Algorithms and Logical Systems

Model-Driven Engineering Approaches

Role in the Field

Neutralin Health Data Science

Neutralin Data Science and Technologies

Neutralin Algorithms and Logical Systems

Neutralin Model-Driven Engineering Approaches

Abstract

Citations

741

Year

1994

PageRank

3.9 / 10

Relative influence (log-scaled)