Run-Time Verification of Networked Software.

Cyrille Valentin Artho

Published in: RV (2010)

Keyphrases

software systems
software architecture
computer systems
software design
software tools
multimedia
model checking
data sets
software platform
formal methods
user interface
neural network
multi agent
software projects
knowledge base
software maintenance
data mining
computer software
database
hardware designs