Yoshiki Kinoshita. Fieldwork and the 4: 6 Principle - Introduction to the Research Center for Verification and Semantics, AIST. In 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2009, Tokyo, Japan, 17-20 March 2009. pages 119-124, IEEE Computer Society, 2009. [doi]
Abstract is missing.