Browsing by Author Jeppu, Y.
Showing results 1 to 2 of 2
| Issue Date | Title | Author(s) | Supervisor(s) |
|---|---|---|---|
| 2015 | Arguing formally about flight control laws | Jeppu, N.Y.; Jeppu, Y.; Murthy, N. | - |
| 2018 | Teaching formal methods at undergraduate/graduate level: The three perspectives | Jeppu, N.; Jeppu, Y.; Devi, M.K.K. | - |