Search results for.."Software certification and Formal methods":
2005
Foley, Michael W and Ramharack, Navin R and Copeland, Brian R
Contribution of > ARTICLE
Completed
1999
Arjoon, Surendra
Contribution of > BOOK
Completed
2013
Kempadoo, Kamala and DeShong, Halimah
Contribution of > ARTICLE
Completed
2013
Lalla, Barbara and Roberts, Nicole and Walcott-Hackshaw, Elizabeth and Youssef, Valerie
Contribution of > BOOK
Completed
2006
Cook, Loraine D and Palmer, Ryan
Contribution of > ARTICLE
Completed
2016
Chakraverty, Snehashish and Tapaswini, Smita and Behera, Diptiranjan
Contribution of > ARTICLE
Completed
2013
Lalla, Barbara and Roberts, Nicole and Walcott-Hackshaw, Elizabeth and Youssef, Valerie
Contribution of > BOOK
Completed
2003
O. Ranu, R. Saunders, J. Addae, C. Posthoff, S. Reid, N. Baboolal.
Contribution of > CONFERENCEWORKSHOP
Completed
2013
Lalla, Barbara and Roberts, Nicole and Walcott-Hackshaw, Elizabeth and Youssef, Valerie
Contribution of > BOOK
Completed
2011
De Lisle, Jerome
Contribution of > ARTICLE
Completed