Formalization and analysis of public administration domain with the OTS/CafeOBJ method

Xiaoyi Chen, Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi

    研究成果: Chapter in Book/Report/Conference proceedingConference contribution

    フィンガープリント 「Formalization and analysis of public administration domain with the OTS/CafeOBJ method」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

    Engineering & Materials Science

    Social Sciences