システム／制御／情報
Online ISSN : 2424-1806
Print ISSN : 0916-1600
ISSN-L : 0916-1600
高信頼ソフトウェア開発技法の実践的試み(<特集>システム設計のための形式手法の基礎と応用)
橋本 祐介, 岩崎 新一
著者情報
解説誌・一般情報誌 フリー

2008 年 52 巻 9 号 p. 334-339

詳細
PDFをダウンロード (906K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 2008 一般社団法人システム制御情報学会
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top