Results 191 to 200 of about 13,787 (204)
Some of the next articles are maybe not open access.
Observational program calculi and the correctness of translations
Theoretical Computer Science, 2015Joachim Niehren +2 more
exaly
Quality assessment of Major Trauma Registry of Navarra: completeness and correctness
International Journal of Injury Control and Safety Promotion, 2019Rolf Lefering +1 more
exaly
Avoiding coincidental correctness in boundary value analysis
ACM Transactions on Software Engineering and Methodology, 2006exaly
Subsumption, correctness and relative correctness: Implications for software testing
Science of Computer ProgrammingAli Mili +2 more
exaly
Relative Correctness of Real-Time Systems
IFAC Postprint Volumes IPPV / International Federation of Automatic Control, 1992exaly

