Formal Design and Verification of Dynamic Caching for Automatic Playout System.

Yizhen Cao Xiaojia Chen Yongbin Wang

Published in: ACIT-CSI (2015)

Keyphrases

user interface
databases
building blocks
design process
semi automatic
formal methods
formal analysis
real time
multi agent
dynamic environments
software architecture
computer aided
design principles
embedded systems
design decisions