Improving Reliability of Myocontrol Using Formal Verification

IEEE Transactions on Neural Systems and Rehabilitation Engineering - United States
doi 10.1109/tnsre.2019.2893152
Full Text
Abstract

Available in full text

Date
Authors
Publisher

Institute of Electrical and Electronics Engineers (IEEE)

Related search

Formal Verification of AADL Models Using UPPAAL

2017English

Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings

IFIP Advances in Information and Communication Technology
Computer NetworksInformation SystemsManagementCommunications
2017English

A Classifier Fusion System With Verification Module for Improving Recognition Reliability

2010English

Formal Verification of Pipelined Processors

Lecture Notes in Computer Science
Computer ScienceTheoretical Computer Science
1998English

Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools

2018English

Formal Verification of NTRUEncrypt Scheme

International Journal of Computer Network and Information Security
2016English

Mathematical Methods for Verification of Microprocessor-Based PID Controllers for Improving Their Reliability

Eksploatacja i Niezawodnosc
IndustrialRiskManufacturing EngineeringReliabilitySafetyQuality
2015English

Formal Verification of Netlog Protocols

2012English

Formal Verification of Hybrid Systems

2011English

Amanote Research

Note-taking for researchers

Follow Amanote

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

Privacy PolicyRefund Policy