Results 221 to 230 of about 441,498 (266)
Some of the next articles are maybe not open access.
A brief account of runtime verification
The Journal of Logic and Algebraic Programming, 2009Martin Leucker, Christian Schallhart
exaly
Formal Specification and Verification of Autonomous Robotic Systems
ACM Computing Surveys, 2020, Michael Fisher, Clare Dixon
exaly
Verification conditions for source-level imperative programs
Computer Science Review, 2011Jorge Sousa Pinto, Maria João Frade
exaly
A Survey on Network Verification and Testing With Formal Methods: Approaches and Challenges
IEEE Communications Surveys and Tutorials, 2019Jiangyuan Yao +2 more
exaly
Video-based kinship verification using distance metric learning
Pattern Recognition, 2018Junlin Hu, Haibin Yan
exaly
Verification of the findings of acrylamide in heated foods
Food Additives and Contaminants, 2002L Castle
exaly