Integration of model checking into software development processes

Repository

Integration of model checking into software development processes

Show full record

Title: Integration of model checking into software development processes
Author: Xie, Fei
Abstract: Not available
Department: Computer Sciences
Subject: Computer software--Verification Computer software--Development
URI: http://hdl.handle.net/2152/1458
Date: 2004

Files in this work

Download File: xief96962.pdf
Size: 512.2Kb
Format: application/pdf

This work appears in the following Collection(s)

Show full record


Advanced Search

Browse

My Account

Statistics

Information