Items where Author is "Santhosh Prabhu, M"
Group by: Item Type | No Grouping Jump to: Article | Conference or Workshop Item Number of items: 2. ArticleSanthosh Prabhu, M ; Hazra, Aritra ; Dasgupta, Pallab (2013) Reliability guarantees in automata-based scheduling for embedded control software IEEE Embedded Systems Letters, 5 (2). pp. 17-20. ISSN 1943-0663 Conference or Workshop ItemSanthosh Prabhu, M ; Dasgupta, Pallab (2013) Model checking controllers with predicate inputs In: 2013 26th International Conference on VLSI Design and 2013 12th International Conference on Embedded Systems (VLSID), 5-10 January 2013, Pune, India. |