The Community for Technology Leaders
2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing (2009)
Tokyo, Japan
Mar. 17, 2009 to Mar. 20, 2009
ISSN: 1555-0885
ISBN: 978-0-7695-3573-9
pp: 119-124
ABSTRACT
The principles in the Research Center for Verification and Semantics (CVS) AIST are explained with summaries of some of its research projects.
INDEX TERMS
Fieldwork, Full Research, Type 1 Basic Research, Type 2 Basic Research, Product Realization Research, Agda, First Order Modal mu-calculus, Equational Tree Automata
CITATION

Y. Kinoshita, "Fieldwork and the 4:6 Principle - Introduction to the Research Center for Verification and Semantics, AIST," 2009 IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing(ISORC), Tokyo, Japan, 2009, pp. 119-124.
doi:10.1109/ISORC.2009.44
85 ms
(Ver 3.3 (11022016))