The Open Group The Real-time and Embedded Systems Forum
You are here:  > The Real-time and Embedded Systems Forum > Documents (Austin Depenability Presentation) > Document details
Document details Add this page to My BookMarks
Category: Austin Depenability Presentation
Tags: NONE
Title: A Global View of Fomal Metrhods
Version: v 1.0
Sticky: No
Description: Presentation by Dr James Hunt n 26 July 2007 at the Austin RTES Forum Dependability through Assuredness track.
Inline Content:  Help with Inline Contenets Inline Content View
No Inline Content is defined
See below for attachments
Files: pdf Austin_Hunt_formal-methods-2007-07-26.pdf  
Visibility: Public
Status: Final
Created by: j.bergmann on 26-Jul-07
Updated by: j.bergmann on 26-Jul-07
Archived: No
If you experience any problems with broken links, or incorrect or unexpected functionality, click here to request help.
   |   Legal Notices & Terms of Use   |   Privacy Statement   |   Top of Page   Return to Top of Page
  PHPlato: 2.0 (145) [p]