Nanci Naomi Arai

  • Citations Per Year
Learn More
Abstract: Real-time systems are computing systems in which the meeting of their requirements is vital for their correctness. Consequently, if the real-time requirements of these systems are poorly understood and verified, the results can be disastrous and lead to irremediable project failures at the early phases of development. The present work addresses(More)
  • 1