Intelligent Safety Verification for Pipeline Based on EVALPSN

Kazumi Nakamatsu, Kenji Kawasumi, Atsuyuki Suzuki. Intelligent Safety Verification for Pipeline Based on EVALPSN. In Kazumi Nakamatsu, Jair Minoro Abe, editors, Advances in Logic Based Intelligent Systems - Selected Papers of LAPTEC 2005, Himeji, Japan, April 2-4, 2005. Volume 132 of Frontiers in Artificial Intelligence and Applications, pages 63-70, IOS Press, 2005.

Abstract

Abstract is missing.