A Formal Framework for Access Rights Analysis

スポンサーリンク

概要

• 論文の詳細を見る
• 2012-09-11

著者

• Li Xin

  School Of Biological Sciences Nanyang Technological University

• Li Xin

  School Of Information Science Japan Advanced Institute Science And Technology

• Hua Vy

  School Of Information Science Japan Advanced Institute Science And Technology

関連論文

• Context-sensitive points-to analysis for Java as all-in-one weighted pushdown model checking
• Re-Writable Multi-Domain Liquid Crystal Alignment Layers through Laser-Induced Micropatterning
• Stacking-based Context-Sensitive Points-to Analysis for Java
• Modular Stacking-based Context-Sensitive Program Analysis
• Concurrent extraction of proteins and RNA from cell-laden hydrogel scaffold free of polysaccharide interference
• Re-Writable Multi-Domain Liquid Crystal Alignment Layers through Laser-Induced Micropatterning
• A Formal Framework for Access Rights Analysis
• Identification of chromosome regions controlling seed storage proteins of narrow-leafed lupin (Lupinus angustifolius)

スポンサーリンク