Verifying Parameterized taDOM+ Lock Managers.

Antti Siirtola Michal Valenta

Published in: SOFSEM (2008)

Keyphrases

decision making
concurrency control
information technology
information systems
model checking
neural network
artificial intelligence
real time
data sets
similarity measure
management system
management information systems
strategic planning
verification method
small and medium sized enterprises