Derivation of system specifications based on a partial logical Petri net

Atsushi Togashi*, Nobuyuki Usui, Kukhwan Song, Norio Shiratori

*この研究の対応する著者

    研究成果査読

    抄録

    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

    • 電子工学および電気工学
    • 電子材料、光学材料、および磁性材料

    フィンガープリント

    「Derivation of system specifications based on a partial logical Petri net」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    引用スタイル