Original language | English |
---|---|
Publication status | Published - 2016 |
MoE publication type | Not Eligible |
Event | 9th International Workshop on the Application of Field Programmable Gate Arrays in Nuclear Power Plants - Lyon, France Duration: 3 Oct 2016 → 6 Oct 2016 |
Workshop
Workshop | 9th International Workshop on the Application of Field Programmable Gate Arrays in Nuclear Power Plants |
---|---|
Country/Territory | France |
City | Lyon |
Period | 3/10/16 → 6/10/16 |
Keywords
- model checking
- FPGA
- PLD
- formal verification
- nuclear power