Luis F. Stevens

Learn More
As real-time applications become more complex it becomes increasingly important to provide both a clean model for their development and the ability to verify that their execution matches the development model. In addition to becoming more complex, soft real-time programs are becoming more mainstream, and as such are being run on platforms running some(More)
  • 1