Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Koichi ARIMA
The Capacity Verification of Unit System Architecture With Vertical Interlocking Method
AIJ Journal of Technology and Design
Building
Construction
Architecture
Related publications
Compositional Verification of Multi-Station Interlocking Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Comparing Formal Verification Approaches of Interlocking Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Verification of Interlocking Systems Using Statistical Model Checking
Hybrid Minutiae-Based Architecture for Automated Fingerprint Verification System
International Journal of Computer Applications
Development of the Logging System for LKAS Electronic Control Unit Algorithm Verification
International Journal of Control and Automation
Control
Systems Engineering
Unit Verification: The CARA Experience
International Journal on Software Tools for Technology Transfer
Information Systems
Software
Capacity Measurement With the UIC 406 Capacity Method
Soil Strengthning Method Using Interlocking Elements
Proceedings of geotextile symposium
Differentiated Capacity Extension Method for System of Data Storage With Multilevel Structure
Scientific and Technical Journal of Information Technologies, Mechanics and Optics
