Please use this identifier to cite or link to this item:
|Title:||Embedded and mobile system verification||Authors:||Hu, Siyu||Keywords:||DRNTU::Engineering::Computer science and engineering||Issue Date:||2017||Abstract:||This report consolidates all the knowledge and skills that I have gained throughout my Final Year Project. In this project, I was tasked to verify Embedded and Mobile Systems using formal tools such as model-checking.||URI:||http://hdl.handle.net/10356/70449||Rights:||Nanyang Technological University||Fulltext Permission:||restricted||Fulltext Availability:||With Fulltext|
|Appears in Collections:||SCSE Student Reports (FYP/IA/PA/PI)|
Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.