Login / Signup

A Model Transformation Approach for Specifying Real-Time Systems and Its Verification Using RT-Maude.

Messaoud BendiafMustapha BourahlaMalika BoudiaSeidali Rehab
Published in: Int. J. Inf. Technol. Web Eng. (2017)
Keyphrases
  • real time systems
  • computational model
  • probabilistic model
  • conceptual model
  • real time
  • high level
  • cooperative
  • process model