Search
Now showing items 1-1 of 1
(Master thesis / Masteroppgave, 2008)
This thesis investigates the suitability of extending the rewriting-logic-based Maude framework,
in particular Real-Time Maude, to support the formal modeling and analysis of untimed and timed priced systems.
The first ...