Efficient Exploration of Cyber-Physical System Architectures Using Contracts and Subgraph Isomorphism.

Yifeng Xiao, Chanwook Oh, Michele Lora, Pierluigi Nuzzo

Browse the full DATE paper archive.