Abstract
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.
| Original language | English |
|---|---|
| Pages (from-to) | 521-524 |
| Number of pages | 4 |
| Journal | Unknown Journal |
| Volume | 1 |
| Publication status | Published - 1995 |
ASJC Scopus subject areas
- Electrical and Electronic Engineering
- Electronic, Optical and Magnetic Materials