Pages that link to "Item:Q2335950"

The following pages link to Interactive verification of architectural design patterns in FACTum (Q2335950):

Displaying 4 items.

• Runtime verification for dynamic architectures (Q1996854) (← links)
• Interactive verification of architectural design patterns in FACTum (Q2335950) (← links)
• A type language for distributed reactive components governed by communication protocols (Q2693296) (← links)
• (Q5019690) (← links)