Search research publications and outputs

  1. Software › Research
  2. The Epsilon Languages and Tools Framework

    Kolovos, D., Rose, L. M. & Paige, R. F., 2013

    Research output: Non-textual formSoftware

  3. Article › Research › Not peer-reviewed
  4. Article › Research › Peer-reviewed
  5. A Survey of Timing Verification Techniques for Multi-Core Real-Time Systems

    Maiza, C., Rihani, H., Rivas, J., goossens, J., Altmeyer, S. & Davis, R. I., Jul 2019

    Article in ACM Comput. Surv.

Previous 1 2 3 4 5 6 7 8 ...30 Next