Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/70449
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)

Files in This Item:
File Description SizeFormat 
fyp report.pdf
  Restricted Access
1.76 MBAdobe PDFView/Open

Google ScholarTM

Check

Items in DR-NTU are protected by copyright, with all rights reserved, unless otherwise indicated.