Searching for authors named "Kokichi Futatsugi" – sorted by Relevance.
24 documents found, showing 1 through 10.
Next 10 →
-
Logical Semantics for CafeOBJ
- … and Kokichi Futatsugi Graduate School of Information Science Japan Advanced Institute of Science…
- Cited by 6 (0 self) – Add To MetaCart
-
Logical Foundations of CafeOBJ
- …Logical Foundations of CafeOBJ R azvan Diaconescu 1 and Kokichi Futatsugi Japan Advanced…
- Cited by 8 (1 self) – Add To MetaCart
-
Object Composition and Refinement by using Non-Observable Projection Operators: A Case Study of the Automated Teller Machine system
- … of the Automated Teller Machine system Michihiro Matsumoto ? and Kokichi Futatsugi Graduate School…
- Cited by 1 (0 self) – Add To MetaCart
-
Completeness and Strictness Analysis for the Evaluation Strategy
- …Completeness and strictness analysis for the evaluation strategy 3 Masaki Nakamura, Kokichi…
- Cited by 3 (1 self) – Add To MetaCart
-
An Overview of Cafe Project
- …An Overview of Cafe Project Kokichi FUTATSUGI 3 Ataru NAKAGAWA y Abstract Cafe is the name…
- Cited by 4 (0 self) – Add To MetaCart
-
FORMAL FAULT TREE CONSTRUCTION AND SYSTEM SAFETY ANALYSIS
- …FORMAL FAULT TREE CONSTRUCTION AND SYSTEM SAFETY ANALYSIS Jianwen XIANG, Kokichi FUTATSUGI School…
- Add To MetaCart
-
Model-checking observational transition system with maude
- … , and Kokichi Futatsugi 1 1 Japan Advanced Institute of Science and Technology (JAIST) 1-1 Asahidai, Nomi…
- Cited by 1 (1 self) – Add To MetaCart
-
Modeling and verification of hybrid systems based on equations
- … Hokuriku, Ltd. / JAIST ogatak@(email omitted); Daigo Yamagishi, Takahiro Seino, Kokichi Futatsugi Graduate School…
- Cited by 1 (1 self) – Add To MetaCart
-
How to Give Local Strategies to Function Symbols for Equality of Two Implementations of the E-strategy with and without Evaluated Flags
- … Takashi Nagaya, Michihiro Matsumoto 3 , Kazuhiro Ogata and Kokichi Futatsugi Graduate School…
- Cited by 3 (1 self) – Add To MetaCart
-
CafeOBJ: Logical Foundations and Methodologies
- …, Romania e-mail: Razvan.Diaconescu@(email omitted); Kokichi Futatsugi Graduate School of Information Science Japan…
- Cited by 4 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
