コンピュータ ソフトウェア
Print ISSN : 0289-6540
同期型言語を用いたソフトウェア検証：クルーズコントロールシステムにおける事例紹介
足立 正和, 富永 孝, 佐野 範佳, 潮 俊光
著者情報
ジャーナル フリー

2006 年 23 巻 3 号 p. 3_85-3_90

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

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

BIB TEX形式

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

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 日本ソフトウェア科学会 2006
前の記事 次の記事
お気に入り & アラート

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