Browsing Institutt for informatikk by Author "Grimeland, Martin"
Now showing items 1-1 of 1
-
Grimeland, Martin (Master thesis / Masteroppgave, 2006)Real-Time Maude extends the rewriting logic-based Maude tool to support formal specification, simulation, and further formal analysis of real-time systems. The specification language of Real-Time Maude emphasizes expressiveness ...