Pages that link to "Item:Q714796"
From MaRDI portal
The following pages link to Formalization and correctness of the PALS architectural pattern for distributed real-time systems (Q714796):
Displayed 4 items.
- Formalization and correctness of the PALS architectural pattern for distributed real-time systems (Q714796) (← links)
- A relaxation of Üresin and Dubois' asynchronous fixed-point theory in Agda (Q2209538) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Hybrid Multirate PALS (Q2945702) (← links)