Cohan Carlos

List of publications from the DBLP Bibliography Server - FAQ

2004

1 EE Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer: A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. STTT 5(4): 320-330 (2004)

2004
1	EE	Raoul Praful Jetley, Cohan Carlos, S. Purushothaman Iyer: A case study on applying formal methods to medical devices: computer-aided resuscitation algorithm. STTT 5(4): 320-330 (2004)

Coauthor Index

1	S. Purushothaman Iyer (S. Purushothaman)	[1]
2	Raoul Praful Jetley	[1]