Pages that link to "Item:Q1372910"
From MaRDI portal
The following pages link to A real-time discrete event system specification formalism for seamless real-time software development (Q1372910):
Displaying 4 items.
- DECM, A user oriented formalism for high level discrete event specifications of real-time systems (Q1857661) (← links)
- (Q2729993) (← links)
- DEVS framework for systems development: Unified specification for logical analysis, performance evaluation and implementation (Q2751563) (← links)
- Formal Modeling and Analysis of Timed Systems (Q5897952) (← links)