Recommend this title to your librarian

  • Specification, Modelling, Verification and Runtime Analysis of Real Time Systems