Pages that link to "Item:Q5311294"
From MaRDI portal
The following pages link to Formal Methods for Components and Objects (Q5311294):
Displaying 6 items.
- Expressiveness of component-based frameworks: a study of the expressiveness of BIP (Q2216474) (← links)
- Distributed Implementation of Systems with Multiparty Interactions and Priorities (Q3095232) (← links)
- Model Checking Bounded Prioritized Time Petri Nets (Q3510821) (← links)
- Conflict-Tolerant Features (Q3512496) (← links)
- (Q5015356) (← links)
- On the Hardness of Priority Synthesis (Q5200057) (← links)
