NASA Technical Reports Server (NTRS) 19930002529: An EVACS simulation with nested transactionsReportar como inadecuado




NASA Technical Reports Server (NTRS) 19930002529: An EVACS simulation with nested transactions - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Descargar gratis o leer online en formato PDF el libro: 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

Autor: NASA Technical Reports Server (NTRS)

Fuente: https://archive.org/







Documentos relacionados