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

Résultats de recherche: Thèse externeMémoire de master

162 Téléchargements (Pure)

Résultats de recherche