Extracting Environmental Constraints to Make Reactive System Specifications Realizable.

Shigeki Hagihara, Yusuke Kitamura, Masaya Shimakawa, Naoki Yonezaki

Browse the full APSEC paper archive.