Pages that link to "Item:Q541297"
From MaRDI portal
The following pages link to Building distributed controllers for systems with priorities (Q541297):
Displaying 6 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- Priority scheduling of distributed systems based on model checking (Q453501) (← links)
- Organization of the choice of static priorities in decentralized-control systems. I (Q2552487) (← links)
- Organization of the choice of static priorities in systems with decentralized control. II (Q2554278) (← links)
- Distributed Implementation of Systems with Multiparty Interactions and Priorities (Q3095232) (← links)
- Formal Methods for Components and Objects (Q5311294) (← links)