Results 241 to 250 of about 135,609 (263)

A landscape analysis of enablers and barriers to digital payments to health workers during large-scale immunisation campaigns in sub-Saharan Africa: a scoping review and in-depth interviews. [PDF]

Glob Health Action
Kiberu VM, Namuhani N, Ekirapa E, Aweko J, Opio C, Kanobe F, Wakholi P, Abuya T, Mcconnell M, Hamani A, Jama IH, Ediau M, Bello S, Adewol D, Fawole OI, Acray-Zengbe P, Arhinful D, Bediang G, Faye A, Mohamed Mboup FZ, Ndiaye S, Niang K, Obotela N'Sarhaza YG, Waiswa P.   +23 more
europepmc   +1 more source

A knowledge-driven framework for surgical safety check integration using speech recognition and speaker verification. [PDF]

Front Neurosci
Shi W, Fan R, Hu J, Wang J, Bian M, Jiang W.   +5 more
europepmc   +1 more source

Formal Modeling and Verification of GALS Systems Using GRL and CADP

, 2014
Fatma Jebali, Frédéric Lang, Eric Léo, Radu Mateescu   +3 more
openalex   +1 more source

Some of the next articles are maybe not open access.

Related searches:

A Survey of Smart Contract Formal Specification and Verification

ACM Computing Surveys, 2022
Palina Tolmach, Shang-Wei Lin, Zengxiang Li   +2 more
exaly  

Formal Verification of Cyberphysical Systems

Computer, 2021
James Bret Michael, Doron Drusinsky, Duminda Wijesekera   +2 more
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Matt Luckcuck, , Louise A Dennis
exaly  

A Survey on Formal Verification and Validation Techniques for Internet of Things

Applied Sciences (Switzerland), 2023
Moez Krichen, Krichen Moez
exaly