Login / Signup
Formal modeling of biomedical signal acquisition systems: source of evidence for certification.
Alvaro Sobrinho
Leandro Dias da Silva
Angelo Perkusich
Paulo Cunha
Thiago D. Cordeiro
Antonio Marcus Nogueira de Lima
Published in:
Softw. Syst. Model. (2019)
Keyphrases
</>
signal acquisition
real time
computer vision
text mining
signal processing
complex systems
dynamic aspects
neural network
data analysis
response time
distributed systems
data processing
data transmission
formal specification
formal languages