They should work so give them a try. If they don't work straight up and default to other than their rated frequency, correct Timings and Voltage, you can easily obtain their SPD to manually enter Primary Timings and Voltage in Bios.
CPUz will show your SPD and memory details.