Results 131 to 140 of about 3,019,309 (154)

Working memory load attenuates the match effect in sentence-picture verification. [PDF]

Mem Cognit
Thomas LE.
europepmc   +1 more source

Some of the next articles are maybe not open access.

Related searches:

A Survey on Assertion-Based Hardware Verification

ACM Computing Surveys, 2022
Yangdi Lyu, Subodha Charles, Prabhat Mishra   +2 more
exaly  

Formal Specification and Verification of Autonomous Robotic Systems

ACM Computing Surveys, 2020
Michael Fisher, Clare Dixon
exaly  

A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges

IEEE Communications Surveys and Tutorials, 2019
Jiangyuan Yao, Xingang Shi, Zhiliang Wang   +2 more
exaly  

Verification Conditions for Source-Level Imperative Programs

Computer Science Review, 2011
Jorge Sousa Pinto, Maria João Frade
exaly  

A Brief Account of Runtime Verification

The Journal of Logic and Algebraic Programming, 2009
Martin Leucker, Christian Schallhart
exaly  

Verification Techniques for Cache Coherence Protocols

ACM Computing Surveys, 1997
Michel Dubois, Fong Pong
exaly