Pages that link to "Item:Q685613"
From MaRDI portal
The following pages link to Real-time specification and modeling with joint actions (Q685613):
Displaying 4 items.
- Operational specification with joint actions: Serializable databases (Q1193603) (← links)
- An action-based formal model for concurrent real-time systems (Q1362773) (← links)
- Deriving Real-Time Action Systems Controllers from Multiscale System Specifications (Q2908563) (← links)
- Action systems in incremental and aspect-oriented modeling (Q5138491) (← links)