Requirements and Challenges for Modelling Redox-based Memristive Devices | IEEE Conference Publication | IEEE Xplore