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

詳細情報 詳細情報について

• CRID

  1520574798841239680

• NII書誌ID

  AA11467743

• ISSN

  13434500

• NDL書誌ID

  032348240

• Web Site

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

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

• 本文言語コード

  en

• NDL 雑誌分類

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

• データソース種別

  • NDLサーチ