Loading...
Please wait, while we are loading the content...
Ieee/nasa workshop on leveraging applications of formal methods, verification, and validation
| Content Provider | NASA Technical Reports Server (NTRS) |
|---|---|
| Author | Hichey, Michael G. |
| Editor | Margaria, Tiziana Steffen, Bernhard |
| Copyright Year | 2005 |
| Description | This volume contains the Preliminary Proceedings of the 2005 IEEE ISoLA Workshop on Leveraging Applications of Formal Methods, Verification, and Validation, with a special track on the theme of Formal Methods in Human and Robotic Space Exploration. The workshop was held on 23-24 September 2005 at the Loyola College Graduate Center, Columbia, MD, USA. The idea behind the Workshop arose from the experience and feedback of ISoLA 2004, the 1st International Symposium on Leveraging Applications of Formal Methods held in Paphos (Cyprus) last October-November. ISoLA 2004 served the need of providing a forum for developers, users, and researchers to discuss issues related to the adoption and use of rigorous tools and methods for the specification, analysis, verification, certification, construction, test, and maintenance of systems from the point of view of their different application domains. |
| File Size | 7383038 |
| Page Count | 150 |
| File Format | |
| Alternate Webpage(s) | http://archive.org/details/NASA_NTRS_Archive_20090012067 |
| Archival Resource Key | ark:/13960/t6p034s55 |
| Language | English |
| Publisher Date | 2005-09-01 |
| Access Restriction | Open |
| Subject Keyword | Mathematical And Computer Sciences (general) Conferences Feedback Proving Procedures Space Exploration Robotics Certification Program Verification Computers Universities Ntrs Nasa Technical Reports Server (ntrs) Nasa Technical Reports Server Aerodynamics Aircraft Aerospace Engineering Aerospace Aeronautic Space Science |
| Content Type | Text |
| Resource Type | Technical Report |
