Pages that link to "Item:Q880982"
From MaRDI portal
The following pages link to Semantics and pragmatics of real-time maude (Q880982):
Displaying 7 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Integrating deployment architectures and resource consumption in timed object-oriented models (Q478391) (← links)
- A Maude environment for CafeOBJ (Q520244) (← links)
- Formalization and correctness of the PALS architectural pattern for distributed real-time systems (Q714796) (← links)
- Modeling and analyzing mobile ad hoc networks in Real-Time Maude (Q730472) (← links)
- An algebraic semantics for MOF (Q973052) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
