Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Dario Guidotti
Improving Reliability of Myocontrol Using Formal Verification
IEEE Transactions on Neural Systems and Rehabilitation Engineering
Internal Medicine
Medicine
Computer Science Applications
Biomedical Engineering
Neuroscience
Related publications
Formal Verification of AADL Models Using UPPAAL
Improving the Efficiency of Formal Verification: The Case of Clock-Domain Crossings
IFIP Advances in Information and Communication Technology
Computer Networks
Information Systems
Management
Communications
A Classifier Fusion System With Verification Module for Improving Recognition Reliability
Formal Verification of Pipelined Processors
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Formal Verification of Mixed Synchronous Asynchronous Systems Using Industrial Tools
Formal Verification of NTRUEncrypt Scheme
International Journal of Computer Network and Information Security
Mathematical Methods for Verification of Microprocessor-Based PID Controllers for Improving Their Reliability
Eksploatacja i Niezawodnosc
Industrial
Risk
Manufacturing Engineering
Reliability
Safety
Quality
Formal Verification of Netlog Protocols
Formal Verification of Hybrid Systems
