Analysis-based approaches to achieving timing predictability

  • Sanjoy Baruah

Research output: Contribution to journalConference articlepeer-review

Original languageEnglish
Pages (from-to)3-4
Number of pages2
JournalElectronic Proceedings in Theoretical Computer Science, EPTCS
Volume232
DOIs
StatePublished - Dec 13 2016
Event1st Workshop on Verification and Validation of Cyber-Physical Systems, V2CPS 2016 - Reykjav�k, Iceland
Duration: Jun 4 2016Jun 5 2016

Cite this