Cohan Carlos

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

2004

1 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		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]

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