VCS: A Verifier for Component-Based Systems.

Fei He Liangze Yin Bow-Yaw Wang Lianyi Zhang Guanyu Mu Wenrui Meng

Published in: ATVA (2013)

Keyphrases

building blocks
computing systems
distributed systems
systems require
case study
management system
medical images
intelligent systems
computer systems