The Interface-Modular Method for Global System Behaviour Specification.
VenueCMODELSWARD
Year2015
ProceedingsMODELSWARD (Revised Selected Papers)
DBLP recordconf/modelsward/FatimaB15a ↗
Browse the full MODELSWARD paper archive.
Browse the full MODELSWARD paper archive.