Transaction oriented engineering design and formal specification: a multi-agent approach

M. Younas, Kuo-Ming Chao, Rachid Anane, Anne E. James, C.F. Tsai

    Research output: Contribution to journalArticle

    Fingerprint

    Dive into the research topics of 'Transaction oriented engineering design and formal specification: a multi-agent approach'. Together they form a unique fingerprint.

    Computer Science