DSpace JSPUI
DSpace preserves and enables easy and open access to all types of digital content including text, images, moving images, mpegs and data sets
Learn More
Browsing by Subject GraphWalker
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 |