Pages that link to "Item:Q1688550"

The following pages link to Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550):

Displaying 3 items.

• Modularizing behavioral and architectural crosscutting concerns in formal component-based systems -- application to the behavior interaction priority framework (Q1648653) (← links)
• Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation (Q1688550) (← links)
• A survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)