CSR-EHCS (EHS), SM: Formal Foundations of Real-time Systems Analysis: Principles and Potential Pitfalls

  • Baruah, Sanjoy S.K. (Investigador principal)
  • Anderson, James J.H. (CoPI)

Huella digital

Explore los temas de investigación que se abordan en este proyecto. Estas etiquetas se generan con base en las adjudicaciones/concesiones subyacentes. Juntos, forma una huella digital única.

Keyphrases

Computer Science