Bendiaf, Messaoud; Bourahla, Mustapha; Boudia, Malika; … - In: International Journal of Information Technology and Web … 12 (2017) 4, pp. 22-41
Real-time systems must be properly validated and verified before their manufacturing and deployment in order to increase their reliability and reduce their maintenance cost. Models have been used for a long time to build complex systems, in virtually every engineering field. This is because they...