2014 | OriginalPaper | Chapter
Medical Cyber-Physical Systems
(Track Introduction)
Authors : Ezio Bartocci, Sicun Gao, Scott A. Smolka
Published in: Leveraging Applications of Formal Methods, Verification and Validation. Specialized Techniques and Applications
Publisher: Springer Berlin Heidelberg
Activate our intelligent search to find suitable subject content or patents.
Select sections of text to find matching patents with Artificial Intelligence. powered by
Select sections of text to find additional relevant content using AI-assisted search. powered by
Rapid progress in modern medical technologies has led to a new generation of healthcare devices and treatment strategies. Examples include electro-anatomical mapping and intervention, bio-compatible and implantable devices, minimally invasive embedded devices, and robotic prosthetics.