NASA Technical Reports Server (NTRS) 19930002529: An EVACS simulation with nested transactionsReport as inadecuate




NASA Technical Reports Server (NTRS) 19930002529: An EVACS simulation with nested transactions - Download this document for free, or read online. Document in PDF available to download.

Download or read this book online for free in PDF: NASA Technical Reports Server (NTRS) 19930002529: An EVACS simulation with nested transactions
Documented here is the recent effort of the MISSION Kernel Team on an Extra-Vehicular Activity Control System (EVACS) simulation with nested transactions. The team has implemented the EVACS simulation along with a design for nested transactions. The EVACS simulation is a project wide aid to exploring Mission and Safety Critical (MASC) applications

Author: NASA Technical Reports Server (NTRS)

Source: https://archive.org/







Related documents