記事・論文
| タイトル | 形式手法による組み込みソフトウェア開発(第5回)ステート・マシンによる仕様の分割とデッドロックの排除 |
|---|---|
| 著者 | 藤倉 俊幸 |
| 出版地（国名コード） | JP |
| 出版年(W3CDTF) | 2012-11 |
| 件名（キーワード） | 形式手法 |
| 件名（キーワード） | クラス設計 |
| 件名（キーワード） | LTSA |
| 件名（キーワード） | ステート・マシン |
| NDLC | ZM13 |
| 対象利用者 | 一般 |
| 資料の種別 | 記事・論文 |
| 掲載誌情報（URI形式） | https://iss.ndl.go.jp/books/R100000002-I000000032482-00 |
| 掲載誌情報（ISSN形式） | 03879569 |
| 掲載誌情報（ISSN-L形式） | 03879569 |
| 掲載誌名 | インターフェース = Interface |
| 掲載巻 | 38 |
| 掲載号 | 11 |
| 掲載通号 | 425 |
| 掲載ページ | 160-166 |
| 言語（ISO639-2形式） | jpn : 日本語 |
