文献

J-GLOBAL ID：201302255043494700   整理番号：13A0663309

NDEコンポーネントの照明アシスタントに基づく形式化

A Proof Assistant Based Formalization of MDE Components

著者 (4件)： KEZADRI Mounira (Univ. de Toulouse, FRA) ,  COMBEMALE Benoit (Univ. de Rennes, FRA) ,  PANTEL Marc (Univ. de Toulouse, FRA) ,  THIRIOUX Xavier (Univ. de Toulouse, FRA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 7253  ページ： 223-240  発行年： 2012年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (4件)： NDE ,  コンポーネント ,  照明 ,  形式化