User Bar First

This is a debugging block

User Bar Second

This is a debugging block

Branding

This is a debugging block


 

Header First

This is a debugging block

Header Second

This is a debugging block

Preface First

This is a debugging block

Preface Second

This is a debugging block

Preface Third

This is a debugging block

Content

This is a debugging block

Develop a case study in MATLAB's State flow system

Fri, 02/10/2012 - 11:44 -- jkenkwof
Faculty Advisor(s): 
Mark Ardis, Ph.D.
Faculty Email(s): 
mardis@stevens.edu
Program: 
Software Engineering
Project Title: 
Develop a case study in MATLAB's State flow system
Description: 

Develop a case study in MATLAB's State flow system that demonstrates the use of model checking to prove the absence of faults in a software system.

References: 

None.

Student Requirements: 

None.

Send the faculty advisor an email to get additional information on this topic.
Please enter your full name.
Please select a SSE Program.
Please select a term.
Please provide a short message.
CAPTCHA
This question is for testing whether you are a human visitor and to prevent automated spam submissions.
Image CAPTCHA
Enter the characters shown in the image.

Postscript First

This is a debugging block

Postscript Second

This is a debugging block

Postscript Third

This is a debugging block

Postscript Fourth

This is a debugging block