Formal Specification of Agent-oriented Multiple Sensors System Organization Based on Object-Z

Details 詳細情報について

• CRID

  1520574798841239680

• NII Book ID

  AA11467743

• ISSN

  13434500

• NDL BIB ID

  032348240

• Web Site

  http://id.ndl.go.jp/bib/032348240

  https://ndlsearch.ndl.go.jp/books/R000000004-I032348240

• Text Lang

  en

• NDL Source Classification

  • ZV1(一般学術誌--一般学術誌・大学紀要)

• Data Source

  • NDL Search