文献

J-GLOBAL ID：201702250715289283   整理番号：17A1112400

仕様に関する性質の形式的証明

著者 (3件)： 小松秀生 (仙台高専) ,  BAUDELET Geoffrey (仙台高専) ,  岡本圭史 (仙台高専)
資料名： 電気関係学会東北支部連合大会講演論文集(CD-ROM)  (電気関係学会東北支部連合大会(CD-ROM))
巻： 2017  ページ： ROMBUNNO.1F01  発行年： 2017年08月24日 
JST資料番号： L1767B  資料種別： 会議録 (C)
記事区分： 短報  発行国： 日本 (JPN)  言語： 日本語 (JA)

シソーラス用語： *ソフトウェア開発 ,  *形式的仕様記述言語 ,  形式記述 ,  仕様記述 ,  証明 ,  論理演算
準シソーラス用語： 形式仕様記述 ,  定理自動証明 ,  充足可能性

分類 (1件)： 計算機システム開発  (JD02010R)

タイトルに関連する用語 (3件)： 仕様 ,  性質 ,  証明