抄録
An automatic transformation from user requirements into formal specification described as state transition systems is proposed. It is shown that the derived transition system T(R) could be characterized by the Partial Logical Petri Nets.
| 本文言語 | English |
|---|---|
| ページ（範囲） | 521-524 |
| ページ数 | 4 |
| ジャーナル | Unknown Journal |
| 巻 | 1 |
| 出版ステータス | Published - 1995 |
ASJC Scopus subject areas
- 電子工学および電気工学
- 電子材料、光学材料、および磁性材料