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

Xiaoyi Chen, Jianwen Xiang, Weiqiang Kong, Kokichi Futatsugi

    研究成果: 書籍/レポート タイプへの寄稿 › 会議への寄与

    フィンガープリント

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

    Computer Science