文献

J-GLOBAL ID：201402223121335825   整理番号：14A0349020

合成と制約解法を利用した仕様の実行

Executing Specifications Using Synthesis and Constraint Solving

著者 (4件)： KUNCAK Viktor (Ecole Polytechnique Federale de Lausanne(EPFL), CHE) ,  KNEUSS Etienne (Ecole Polytechnique Federale de Lausanne(EPFL), CHE) ,  SUTER Philippe (Ecole Polytechnique Federale de Lausanne(EPFL), CHE) ,  SUTER Philippe (IBM T.J. Watson Res. Center, NY, USA)
資料名： Lecture Notes in Computer Science  (Lecture Notes in Computer Science)
巻： 8174  ページ： 1-20  発行年： 2013年 
JST資料番号： H0078D  ISSN： 0302-9743  資料種別： 会議録 (C)
発行国： ドイツ (DEU)  言語： 英語 (EN)

タイトルに関連する用語 (2件)： 制約解法 ,  仕様