Results 121 to 130 of about 25,570,341 (217)

Model Checking for Logistic Models with Study of Telehealth During the COVID-19 Pandemic Among PWH in DC. [PDF]

Stat Biosci
Yang Z, Liang H, Liu H, Barth S, Byrne M, Andersen E, Bhandaru V, Castel A.   +7 more
europepmc   +1 more source

Global guidance for local generalization in model checking. [PDF]

Form Methods Syst Des
Vediramana Krishnan HG, Chen Y, Shoham S, Gurfinkel A.   +3 more
europepmc   +1 more source

Formal Verification of Heuristic Autonomous Intersection Management Using Statistical Model Checking. [PDF]

Sensors (Basel), 2020
Chouhan AP, Banda G.
europepmc   +1 more source

Exact acceleration of complex real-time model checking based on overlapping cycle. [PDF]

PeerJ Comput Sci, 2020
Wang G, Zhuang L, Song Y, He M, Ma D, Ma L.   +5 more
europepmc   +1 more source

Model-checking quantum systems. [PDF]

Natl Sci Rev, 2019
Ying M, Feng Y.
europepmc   +1 more source

A Model-Checking-Based Framework for Analyzing Ambient Assisted Living Solutions. [PDF]

Sensors (Basel), 2019
Kunnappilly A, Marinescu R, Seceleanu C.
europepmc   +1 more source