Back to Results
First PageMeta Content
Logic in computer science / Model checking / Formal methods / Functional specification / Rewriting / Maude / Petri net / Maude system / Theoretical computer science / Software development / Computer science


Specifying and Analyzing Real-Time Object Systems in Real-Time Maude ยจ Peter C. Olveczky Department of Informatics, University of Oslo
Add to Reading List

Document Date: 2002-09-06 09:03:13


Open Document

File Size: 76,97 KB

Share Result on Facebook
UPDATE