TY  - RPRT
TI  - Formal Representation of SysML/KAOS Domain Model (Complete Version)
AU  - Steve Tueno
AU  - Régine Laleau
AU  - Amel Mammar
AU  - Marc Frappier
PY  - 2017
UR  - https://arxiv.org/abs/1712.07406
ID  - 1712.07406
ER  -