A decomposition of a formal specification: An improved constraint-oriented method

Kentaro Go*, Norio Shiratori

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

    研究成果: Article査読

    5 被引用数 (Scopus)

    フィンガープリント

    「A decomposition of a formal specification: An improved constraint-oriented method」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    Engineering & Materials Science