Amanote Research

Amanote Research

    RegisterSign In

Discover open access scientific publications

Search, annotate, share and cite publications


Publications by Takushi Seo

Development and the Verification Process of the Easy Transfer Assistant Tools

Journal of Life Support Engineering
2004English

Related publications

Overview of Verification Tools for Business Process Models

2017English

Development and Verification of Medical Image Analysis Tools Within the 3D Slicer Environment

English

Investigation and Modelling of the Heat Transfer Process in Carbon Fibre/Epoxy Composite Tools

English

Verification of Concurrent Programs Using the Coq Proof Assistant: A Case Study

IPSJ Digital Courier
2005English

Journal Transfer Made Easy

Nature Cell Biology
Cell Biology
2005English

Development Concept of Guaranteed Verification Electric Power System Simulation Tools and Its Realization

MATEC Web of Conferences
Materials ScienceEngineeringChemistry
2015English

The Development of the Personal Digital Assistant (PDA) Interface

2006English

The Design and Development of Virtual Elevator Assistant Training System

2015English

New Possibilities – Better Perspectives. Interactive System of Reinforcing the Process of Lifelong Learning. Integrated Development Assistant (ZAR)

Rocznik Andragogiczny
2018English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy