Future Built on Knowledge
Home
RESEARCH
APPLICATIONS
PROJECTS
PUBLICATIONS
PEOPLE
Select Page
Exploiting assumption-based verification for the adaptation of service-based applications