The following pages link to Amel Mammar (Q1688551):
Displayed 3 items.
- A verification and deployment approach for elastic component-based applications (Q1688553) (← links)
- Parameterized verification of monotone information systems (Q1798673) (← links)
- Proof-based verification approaches for dynamic properties: application to the information system domain (Q2355384) (← links)