, MADS research Group A coruña University Campus de Elviña, Spain

• Information Technology and Control Vol. 47 No. 3 (2018) - Articles
  Towards the Formal Development of Software Based Systems: Access Control System as a Case Study
  Abstract  PDF