0336A8FA-8318-4393-ABA7-734A5E31DF9CPRiME: Power-efficient, Reliable, Many-core Embedded systemsResearch GrantEP/K034448/1798CB33D-C79E-4578-83F2-72606407192CEPSRCINCOME_ACTUAL5656177E1D3C286-E355-4BB7-85E6-A1BA1AB1B6E6A formal specification and prototyping language for multi-core system management19732afc31c06ca16750d5736dea6c1eAlexei Iliasov2015-01-01http://eprint.ncl.ac.uk/file_store/production/209173/EB1740D6-A501-4CC7-8369-98E100679EA9.pdf20152015Conference/Paper/Proceeding/Abstract563a025de41dd1.62312523