Browsing by Author Iyer, Kumar Lakshmanan
Showing results 1 to 1 of 1
Preview | Issue Date | Title | Author(s) |
---|---|---|---|
2021 | Combining Model Based Testing and Automated Analysis of Behavioural Models using GraphWalker and UPPAAL | Tiwari, Saurabh; Enoiu, Eduard; Iyer, Kumar Lakshmanan |