書店で探す
目次
31:2014.9.7-10
- スマホ・アプリの電力消費振る舞いと検査性質の表現
p.12-19
- 協調的リアクティブシステムの合成手法
p.20-29
- 情報制御システムにおける段階的検査法を用いたモジュラ検証
p.30-39
書店で探す
書誌情報
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。
- 資料種別
- 雑誌
- ISSN
- 0913-5391
- ISSN-L
- 0913-5391
- タイトル
- タイトルよみ
- ニホン ソフトウェア カガッカイ タイカイ ロンブンシュウ
- 巻次・部編番号
- 31:2014.9.7-2014.9.10
- 著者・編者
- 日本ソフトウェア科学会 編
- 並列タイトル著者・編者
- Japan Society for Software Science and Technology
- 著者標目
- 日本ソフトウェア科学会 ニホン ソフトウェア カガッカイ ( 00258002 )典拠