Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Shiu-Kai Chin
Policy-Based Design and Verification for Mission Assurance
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
A Modal Logic for Role-Based Access Control
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Risk Balance: A Key Tool for Mission Operations Assurance
Design and Verification of a Security Policy to Defense DDoS Attack for Cloud Robot
Design and Verification Environment for High-Performance Video-Based Embedded Systems
DEPSCOR: Research on ARL's Intelligent Control Architecture: Hierarchical Hybrid-Model Based Design, Verification, Simulation, and Synthesis of Mission Control for Autonomous Underwater Vehicles
Laboratory Verification of Electric Double Layer Capacitor Based Power System for a Simple CubeSat Mission
International Journal of Electrical Energy
Cloud Computing for Mission Design and Operations
HDL Design and Verification of Hash Based Authentication Algorithms
International Journal for Research in Applied Science and Engineering Technology
Wafer Design Valves Verification Based on ASME B16.34
SN Applied Sciences
Education Policy Think Tank Models and Mission
Policy Perspectives
