Building a bridge between Goal-Oriented Requirements with KAOS and event-B System Specifications

Research output: External Thesis Master's Thesis

127 Downloads (Pure)

Search results