ePrints@IIScePrints@IISc Home | About | Browse | Latest Additions | Advanced Search | Contact | Help

Browse by Author

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Journal Article

Cheng, Shu and Woodcock, Jim and D'Souza, Deepak (2015) Using formal reasoning on a model of tasks for FreeRTOS. In: FORMAL ASPECTS OF COMPUTING, 27 (1). pp. 167-192.

This list was generated on Wed Dec 4 11:49:41 2024 IST.