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 journal › Article
Research output: Contribution to journal › Article