Pages that link to "Item:Q2355384"

The following pages link to Proof-based verification approaches for dynamic properties: application to the information system domain (Q2355384):

Displaying 2 items.

• Verification of \(\mathrm{EB}^3\) specifications using CADP (Q282110) (← links)
• A verification and deployment approach for elastic component-based applications (Q1688553) (← links)