A Family of License Languages
スポンサーリンク
概要
- 論文の詳細を見る
- 北陸先端科学技術大学院大学の論文
- 2007-04-23
著者
-
Xiang Jianwen
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Arimoto Yasuhito
School of Information Science, Japan Advanced Institute of Science and Technology
-
Bjorner Dines
Department of Informatics and Mathematical Modeling, Technical University of Denmark
-
Chen Xiaoyi
School of Information Science, Japan Advanced Institute of Science and Technology
-
Chen Xiaoyi
School Of Information Science Japan Advanced Institute Of Science And Technology
-
Bjorner Dines
Department Of Informatics And Mathematical Modeling Technical University Of Denmark
-
Arimoto Yasuhito
School Of Information Science Japan Advanced Institute Of Science And Technology
関連論文
- Analysis of membership sharing in digital subscription services
- A Family of License Languages
- From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ