Automatically transforming and relating Uppaal models of embedded systems.

Timothy Bourke, Arcot Sowmya

Browse the full EMSOFT paper archive.