C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Verification of Artifact-Centric Systems: Decidability and Modeling Issues.
Dmitry Solomakhin
Marco Montali
Sergio Tessaris
Riccardo De Masellis
Published in:
ICSOC (2013)
Keyphrases
</>
artifact centric
model checking
key issues
formal methods
description logics
lightweight
temporal logic
neural network
distributed systems
learning systems
computing environments
design issues
automated verification