Results 321 to 330 of about 2,493,519 (340)
Some of the next articles are maybe not open access.
Systematically Debugging IoT Control System Correctness for Building Automation
International Conference on Systems for Energy-Efficient Built Environments, 2016C. Liang +7 more
semanticscholar +1 more source
Fault localization for automated program repair: effectiveness, performance, repair correctness
Software quality journal, 2016F. Assiri, J. Bieman
semanticscholar +1 more source
Correctness of Cauchy-type problems for abstract differential equations with fractional derivatives
Russian Mathematics, 2009A V Glushak, Glushak A V
exaly
Model synchronization based on triple graph grammars: correctness, completeness and invertibility
Journal of Software and Systems Modeling, 2015F. Hermann +7 more
semanticscholar +1 more source

