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

Christophe Ponsard, Xavier Devroey

Research output: Contribution in Book/Catalog/Report/Conference proceedingConference contribution

138 Downloads (Pure)
Filter
Finished

Search results