記事・論文
| Title | 形式手法による組み込みソフトウェア開発(第5回)ステート・マシンによる仕様の分割とデッドロックの排除 |
|---|---|
| Author | 藤倉 俊幸 |
| Place of Publication (Country Code) | JP |
| Year of Publication(W3CDTF) | 2012-11 |
| Subject Heading(Keyword) | 形式手法 |
| Subject Heading(Keyword) | クラス設計 |
| Subject Heading(Keyword) | LTSA |
| Subject Heading(Keyword) | ステート・マシン |
| NDLC | ZM13 |
| Target Audience | 一般 |
| Material Type | 記事・論文 |
| is part of (URI Form) | https://iss.ndl.go.jp/books/R100000002-I000000032482-00 |
| is part of (ISSN Form) | 03879569 |
| is part of (ISSN-L Form) | 03879569 |
| Magazine-which-carries-the-article name | インターフェース = Interface |
| Printing volume | 38 |
| Printing number | 11 |
| Printing through number | 425 |
| Printing page | 160-166 |
| Language（ISO639-2 Form) | jpn : 日本語 |
