Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Andrei Arusoaie
A Certified Procedure for RL Verification
Related publications
A Verification Procedure via Invariant for Extended Communicating Finite-State Machines
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Emergence of the Verification Phase Procedure for Confirming ‘True’V̇O2max
Scandinavian Journal of Medicine and Science in Sports
Sports Medicine
Physical Therapy
Sports Science
Orthopedics
Sports Therapy
Rehabilitation
Verification/Acceptance Test Plan/Procedure for Acromag Calibration System
A Type System for Certified Binaries
C&RL Spotlight
College and Research Libraries News
Education
Library
Information Sciences
A Research on the Verification Test Procedure for Quantitative Explosion Risk Assessment and Management of Offshore Installations
Journal of the Society of Naval Architects of Korea
A New Certified Catalyst for Flexible Urethane Foams
Chemical and Engineering News
Chemical Engineering
Procedure for the Steady-State Verification of Modulation-Based Noise Reduction Systems in Hearing Instruments
Eurasip Journal on Advances in Signal Processing
Hardware
Electronic Engineering
Signal Processing
Electrical
Architecture
Questionnaire Survey for Board Certified Neurosurgeons
Japanese Journal of Neurosurgery
Surgery
Neurology
