DocumentCode
3283396
Title
Fieldwork and the 4:6 Principle - Introduction to the Research Center for Verification and Semantics, AIST
Author
Kinoshita, Yoshiki
Author_Institution
Res. Center for Verification & Semantics (CVS), Nat. Inst. of Adv. Ind. Sci. & Technol. (AIST) Senri, Japan
fYear
2009
fDate
17-20 March 2009
Firstpage
119
Lastpage
124
Abstract
The principles in the Research Center for Verification and Semantics (CVS) AIST are explained with summaries of some of its research projects.
Keywords
formal verification; programming language semantics; 4:6 principle; fieldwork; semantics; verification; Computer industry; Computer science; Distributed computing; Educational institutions; Electronics industry; Industrial electronics; Information processing; Laboratories; Mathematical model; Research initiatives; Agda; Equational Tree Automata; Fieldwork; First Order Modal mu-calculus; Full Research; Product Realization Research; Type 1 Basic Research; Type 2 Basic Research;
fLanguage
English
Publisher
ieee
Conference_Titel
Object/Component/Service-Oriented Real-Time Distributed Computing, 2009. ISORC '09. IEEE International Symposium on
Conference_Location
Tokyo
ISSN
1555-0885
Print_ISBN
978-0-7695-3573-9
Type
conf
DOI
10.1109/ISORC.2009.44
Filename
5231980
Link To Document