Results 191 to 200 of about 163,944 (210)
Some of the next articles are maybe not open access.
IX.—Verification and Experience
Proceedings of the Aristotelian Society, 1937openaire +1 more source
Runtime Verification for LTL and TLTL
ACM Transactions on Software Engineering and Methodology, 2011Andreas Bauer, Martin Leucker
exaly
Verification conditions for source-level imperative programs
Computer Science Review, 2011Maria João Frade, Jorge Sousa Pinto
exaly
Video-based kinship verification using distance metric learning
Pattern Recognition, 2018Haibin Yan, Junlin Hu
exaly
An experience in the formal verification of industrial software
Communications of the ACM, 1996openaire +1 more source
Diagnostic verification of hydrometeorological and hydrologic ensembles
Atmospheric Science Letters, 2010James H Brown +2 more
exaly
Verification of the findings of acrylamide in heated foods
Food Additives and Contaminants, 2002L Castle
exaly
First clinical application of a prompt gamma based in vivo proton range verification system
Radiotherapy and Oncology, 2016Christian Richter +2 more
exaly
Verification and quality control of routine hematology analyzers
International Journal of Laboratory Hematology, 2016A Huisman
exaly