Items where authors include "Sampath, Prahladavaradan"

Export as [feed] Atom [feed] RSS
Number of items: 1.

Proceedings Paper

Woodcock, James Charles Paul orcid.org/0000-0001-7955-2702, Divakaran, Sumesh, D'Souza, Deepak et al. (3 more authors) (2015) Refinement-Based Verification of the FreeRTOS Scheduler in VCC. In: Butler, Michael, Conchon, Sylvain and Zaidi, Fatiha, (eds.) Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, ICFEM 2015. UNSPECIFIED. Lecture Notes in Computer Science . Springer , pp. 170-186.

This list was generated on Sun Mar 24 16:42:31 2024 GMT.