A novel blood pressure verification system for home care

Shen, Victor R.L.; Wang, Yuying; Yu, Liya E.

doi:10.1016/j.csi.2015.09.008

Search citation statements

Order By: Relevance

Paper Sections

Select...

Citation Types

Supporting

Mentioning

Contrasting

Year Published

2016

2023

Publication Types

Select...

Article2

Book1

Other1

Relationship

Self Cite0

Independent4

Authors

Journals

Cited by 4 publications

(1 citation statement)

References 10 publications

(8 reference statements)

Supporting

Mentioning

Contrasting

Order By: Relevance

“…checking [4,[12][13][14][15][16][17][18], process algebra [19][20][21][22][23][24], formal concept analysis [25] and theorem proving [26][27][28][29] methods.…”

mentioning

confidence: 99%

A symbolic model checking approach in formal verification of distributed systems

Souri

Rahmani

Navimipour

et al. 2019

Hum. Cent. Comput. Inf. Sci.

View full text Add to dashboard Cite

Today, distributed systems have developed complex components more and more [1, 2]. By increasing performance of complex systems such as service composition [3], task scheduling [4] and fault tolerance [5], simulation analysis cannot evaluate entire of the system levels [6, 7]. Also, the simulation results are rested to some design under test platforms [8] that omit the part of the existing state space of the system [9]. Formal verification is a mathematically correctness provable approach for the complex distributed systems which is well-suitable for NP-hard problems [10, 11]. Recent scientific studies analyzed their case studies using mathematical verification approaches such as model

show abstract

“…checking [4,[12][13][14][15][16][17][18], process algebra [19][20][21][22][23][24], formal concept analysis [25] and theorem proving [26][27][28][29] methods.…”

mentioning

confidence: 99%