Pages that link to "Item:Q1356938"
From MaRDI portal
The following pages link to Timed rewriting logic with an application to object-based specification (Q1356938):
Displaying 10 items.
- Modeling of complex systems. II: A minimalist and unified semantics for heterogeneous integrated systems (Q440664) (← links)
- Modeling and verification of real-time systems based on equations (Q882458) (← links)
- Specification of real-time and hybrid systems in rewriting logic (Q1608921) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Real-time Maude: A tool for simulating and analyzing real-time and hybrid systems (Q2703709) (← links)
- Timed term rewrite systems (Q2841289) (← links)
- (Q4535186) (← links)
- A Timed Mobility Semantics Based on Rewriting Strategies (Q4899686) (← links)
- Formal Analysis of Leader Election in MANETs Using Real-Time Maude (Q5256351) (← links)