Refinement and Verification of Synchronized Component-Based Systems.

Olga Kouchnarenko Arnaud Lanoix

Published in: FME (2003)

Keyphrases

model checking
management system
distributed systems
building blocks
learning systems
formal verification
databases
case study
multiscale
video sequences
computer systems
computing systems