Paper-Conference

Generating High-Level Event-B System Models from KAOS Requirements Models

Jan 1, 2011