Amanote Research

Amanote Research

    RegisterSign In

Policy-Based Design and Verification for Mission Assurance

Lecture Notes in Computer Science - Germany
doi 10.1007/978-3-642-14706-7_10
Full Text
Open PDF
Abstract

Available in full text

Categories
Computer ScienceTheoretical Computer Science
Date

January 1, 2010

Authors
Shiu-Kai ChinSarah MuccioSusan OlderThomas N. J. Vestal
Publisher

Springer Berlin Heidelberg


Related search

Risk Balance: A Key Tool for Mission Operations Assurance

2011English

Design and Verification of a Security Policy to Defense DDoS Attack for Cloud Robot

2018English

Design and Verification Environment for High-Performance Video-Based Embedded Systems

2014English

DEPSCOR: Research on ARL's Intelligent Control Architecture: Hierarchical Hybrid-Model Based Design, Verification, Simulation, and Synthesis of Mission Control for Autonomous Underwater Vehicles

2007English

Laboratory Verification of Electric Double Layer Capacitor Based Power System for a Simple CubeSat Mission

International Journal of Electrical Energy
2015English

Cloud Computing for Mission Design and Operations

2012English

HDL Design and Verification of Hash Based Authentication Algorithms

International Journal for Research in Applied Science and Engineering Technology
2017English

Wafer Design Valves Verification Based on ASME B16.34

SN Applied Sciences
2019English

Education Policy Think Tank Models and Mission

Policy Perspectives
2017English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy