WEKO3
アイテム
リアルタイム時相論理+状態機械によるソフトウェア仕様記述手法の提案
https://ipsj.ixsq.nii.ac.jp/records/239082
https://ipsj.ixsq.nii.ac.jp/records/239082b8ff40a0-dc2b-40b2-afc5-dd03f8ea56c7
| 名前 / ファイル | ライセンス | アクション |
|---|---|---|
WPRO1995011.pdf (9.1 MB)
|
|
|
| オープンアクセス | ||
| Item type | Symposium(1) | |||||||
|---|---|---|---|---|---|---|---|---|
| 公開日 | 1995-01-10 | |||||||
| タイトル | ||||||||
| タイトル | リアルタイム時相論理+状態機械によるソフトウェア仕様記述手法の提案 | |||||||
| タイトル | ||||||||
| 言語 | en | |||||||
| タイトル | Proposal of software specification method using both real-time temporal logic and state machine | |||||||
| 言語 | ||||||||
| 言語 | jpn | |||||||
| 資源タイプ | ||||||||
| 資源タイプ識別子 | http://purl.org/coar/resource_type/c_5794 | |||||||
| 資源タイプ | conference paper | |||||||
| 著者所属 | ||||||||
| 島根大学理学部情報科学科 | ||||||||
| 著者所属(英) | ||||||||
| en | ||||||||
| Shimane University Dep. of Computer Science Faculty of Science | ||||||||
| 著者名 |
山根, 智
× 山根, 智
|
|||||||
| 著者名(英) |
Yamane, Satoshi
× Yamane, Satoshi
|
|||||||
| 書誌情報 |
第36回プログラミング・シンポジウム報告集 巻 1995, p. 93-100, 発行日 1995-01-10 |
|||||||
| 出版者 | ||||||||
| 言語 | ja | |||||||
| 出版者 | 情報処理学会 | |||||||
