A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm

Author: Jetley Raoul Praful   Carlos Cohan   Iyer S. Purushothaman  

Publisher: Springer Publishing Company

ISSN: 1433-2779

Source: International Journal on Software Tools for Technology Transfer, Vol.5, Iss.4, 2004-05, pp. : 320-330

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Related content