2025年2月
Verifying Network-level Properties for Large-scale Networks with Header Transformations in Realtime
Journal of Information Processing
- Ryusei Shiiba ,
- Satoru Kobayashi ,
- Osamu Akashi ,
- Hiroki Shirokura ,
- Kensuke Fukuda
- 巻
- 33
- 号
- 開始ページ
- 41
- 終了ページ
- 54
- 記述言語
- 掲載種別
- 研究論文(学術雑誌)
- DOI
- 10.2197/ipsjjip.33.41
- 出版者・発行元
- Information Processing Society of Japan
- リンク情報
- ID情報
-
- DOI : 10.2197/ipsjjip.33.41
- eISSN : 1882-6652