Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Yoshihisa Masamura
Building Erection Assist System Applied for Activity Checking Method
Related publications
PIC2LNT: Model Transformation for Model Checking an Applied Pi-Calculus
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Client/Server Framework for On-Line Building Code Checking
Journal of Computing in Civil Engineering
Civil
Computer Science Applications
Structural Engineering
Ontology Based Semantics Checking for UML Activity Model
Information Technology Journal
A New Alternative Method for Checking Total Stations
Journal of Civil Engineering and Architecture
Self-Tuning VGPI Controller Based on ACO Method Applied for WTGS System
International Journal of Advances in Applied Sciences
Improving Pushdown System Model Checking
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Development of Pneumatic Assist System for Human Walk
Proceedings of the JFPS International Symposium on Fluid Power
Variational Method of Building Dynamical System Models in Mechanics
Mechanik
Consensus Building Support System by Alternative Adjustment Vector Method.
Doboku Gakkai Ronbunshu