![[ICO]](/icons/blank.gif){kind=icon}
![[PARENTDIR]](/icons/back.gif){kind=icon}
![[DIR]](/icons/folder.gif){kind=icon}
![[TXT]](/icons/text.gif){kind=icon}
![[IMG]](/icons/image2.gif){kind=icon}
![[ ]](/icons/unknown.gif){kind=icon}
![[ ]](/icons/layout.gif){kind=icon}
| Name | Last modified | Size | Description |
|---|---|---|---|---|
| Parent Directory | - | ||
| AECProjectSpring2011/ | 2011-01-18 10:29 | - | |
| MicrosoftProjectSpring2011/ | 2011-03-06 13:42 | - | |
| presentation-guide.html | 2009-08-31 10:38 | 5.0K | |
| ModelAutomatonOnly.tiff | 2011-03-31 11:36 | 10K | |
| ModelExploration.tiff | 2011-03-31 11:31 | 26K | |
| chatStateDiagram.tiff | 2011-03-30 14:06 | 56K | |
| ProjectFinalPresentationGuidelinesAEC.pptx | 2011-04-20 12:46 | 68K | |
| ProjectFinalPresentationGuidelinesMicrosoft.pptx | 2011-04-20 12:46 | 70K | |
| FinalReportGuidelines.docx | 2011-04-10 13:40 | 71K | |
| CS490FinalReportGuidelines.pdf | 2011-04-17 15:46 | 79K | |
| SpecExplorerSlides.pptx | 2011-03-31 12:09 | 231K | |
| SpecExplorerPaper.pdf | 2011-03-31 12:17 | 298K | |
| SampleProjectReport2.doc | 2011-02-07 13:37 | 345K | |
| SampleProjectReport2.pdf | 2011-02-07 13:24 | 612K | |
| SampleProjectReport1.pdf | 2009-12-07 10:01 | 7.2M | |