ISOBE Yoshinao | National Institute of Advanced Industrial Science and Technology
スポンサーリンク
概要
関連著者
-
ISOBE Yoshinao
National Institute of Advanced Industrial Science and Technology
-
Tsuchida Kensei
Toyo Univ.
-
Shiono Yasunori
Toyo University
-
Hasegawa Yuki
Toyo University
-
Ohmaki Kazuhito
Toyo University
-
Mori Hideki
Toyo University
-
Roggenbach Markus
Swansea University
-
Tsuchida Kensei
Toyo University
著作論文
- Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture
- Implementation and Verification of Concurrent Sorting Algorithms with CSP based Architecture
- CSP-Prover — a Proof Tool for the Verification of Scalable Concurrent Systems