Validating Software Reliability Early through Statistical Model Checking

doi:10.1109/MS.2013.24

2013-05-01

PRE

DOI：10.1109/MS.2013.24

原文链接

原文求助

摘要

期刊

IEEE Software

IF:

论文数:

3.2K

被引数:

3.6K

机构

暂无机构信息

引用论文

Adsorption of thiotepa anticancer by the assistance of aluminum nitride nanocage scaffolds: A computational perspective on drug delivery applications

Colloids and Surfaces A: Physicochemical and Engineering Aspects

IF0

2023-06-01

PREAI

G.G. Reivan Ortiz; B. Cespedes-Panduro; I. Saba; J.C. Cotrina-Aliaga; M. Mohany; S.S. Al-Rejaie; J.L. Arias-Gonzales; A.A. Ramiz-Cornell; M.J. Kadham; R. Akhavan-Sigari

Optimum Reinforcement in Spandrel Supported Slabs

Journal of Structural Engineering

IF0

1988-10-01

PREAI

Subodm C. Sharma; Ganpat S. Pandit