Please use this identifier to cite or link to this item: https://hdl.handle.net/10356/4301
Title: Automated software verification through empirical-based methods
Authors: Asim Saghir Sheikh.
Keywords: DRNTU::Engineering::Electrical and electronic engineering::Computer hardware, software and systems
Issue Date: 2002
Abstract: The dissertation focuses on the key areas in software development where automated software verification can be applied.
URI: http://hdl.handle.net/10356/4301
Rights: Nanyang Technological University
Fulltext Permission: restricted
Fulltext Availability: With Fulltext
Appears in Collections:EEE Theses

Files in This Item:
File Description SizeFormat 
EEE-THESES_35.pdf
  Restricted Access
2.04 MBAdobe PDFView/Open

Page view(s) 50

264
Updated on May 11, 2021

Download(s)

3
Updated on May 11, 2021

Google ScholarTM

Check

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